Probe class
A predicate used to inspect a goal in a Tactic.
- Implementers
Properties
- hashCode → int
-
The hash code for this object.
no setterinherited
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
Methods
-
apply(
Goal g) → double - Evaluates a probe on the given goal, returns a double.
-
equals(
Probe other) → Probe -
Returns a probe that returns true if this probe is equal to
other. -
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
toString(
) → String -
A string representation of this object.
inherited
Operators
-
operator &(
Probe other) → Probe -
Returns a probe that returns true if this probe and
otherare true. -
operator <(
Probe other) → Probe -
Returns a probe that returns true if this probe is less than
other. -
operator <=(
Probe other) → Probe -
Returns a probe that returns true if this probe is less than or equal to
other. -
operator ==(
Object other) → bool -
The equality operator.
inherited
-
operator >(
Probe other) → Probe -
Returns a probe that returns true if this probe is greater than
other. -
operator >=(
Probe other) → Probe -
Returns a probe that returns true if this probe is greater than or equal
to
other. -
operator |(
Probe other) → Probe -
Returns a probe that returns true if this probe or
otherare true. -
operator ~(
) → Probe - Returns a probe that returns true if this probe is false.