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