State

The three phases a TuPrologIDEModel cycles through while resolving a query.

Entries

Link copied to clipboard

No resolution is in progress: a new one can be started with solve or solveAll.

Link copied to clipboard

A resolution step is being computed asynchronously on executor; the UI should be locked.

Link copied to clipboard

A solution has just been produced and next/nextAll/stop can be issued to progress or stop.

Properties

Link copied to clipboard

Returns a representation of an immutable list of all enum entries, in the order they're declared.

Link copied to clipboard
Link copied to clipboard

Functions

Link copied to clipboard

Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

Link copied to clipboard

Returns an array containing the constants of this enum type, in the order they're declared.