Tactic class
- Implementers
Constructors
-
Tactic.parallelOr(List<
Tactic> tactics) -
factory
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
-
andThen(
Tactic other) → Tactic -
apply(
Goal g, {Params? params}) → ApplyResult -
cond(
Tactic otherwise, Probe p) → Tactic -
fail(
) → Tactic -
failIf(
Probe p) → Tactic -
failIfNotDecided(
) → Tactic -
getParamDescriptions(
) → ParamDescs -
getParamHelp(
) → String -
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
orElse(
Tactic other) → Tactic -
parAndThen(
Tactic other) → Tactic -
repeat(
int max) → Tactic -
skip(
) → Tactic -
toSolver(
) → Solver -
toString(
) → String -
A string representation of this object.
inherited
-
tryFor(
Duration duration) → Tactic -
usingParams(
Params params) → Tactic -
when(
Probe p) → Tactic
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited