GoalStack class
A goal stack representing the current execution state.
Goals are processed in LIFO order (last-in, first-out). This represents the current proof state.
Constructors
- GoalStack()
- Creates an empty goal stack.
-
GoalStack.from(List<
Goal> goals) - Creates a goal stack with initial goals.
Properties
-
goals
→ List<
Goal> -
Returns all goals as a list (for inspection/copying).
no setter
- hashCode → int
-
The hash code for this object.
no setterinherited
- isEmpty → bool
-
Returns true if the stack is empty.
no setter
- isNotEmpty → bool
-
Returns true if the stack is not empty.
no setter
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
- size → int
-
Returns the number of goals on the stack.
no setter
Methods
-
clear(
) → void - Clears all goals from the stack.
-
copy(
) → GoalStack - Creates a copy of this goal stack.
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
peek(
) → Goal? - Returns the top goal without removing it.
-
pop(
) → Goal? - Pops a goal from the stack.
-
push(
Goal goal) → void - Pushes a goal onto the stack.
-
pushAll(
List< Goal> goals) → void - Pushes multiple goals onto the stack (in order).
-
toString(
) → String -
A string representation of this object.
override
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited