BuiltinTactic class

Inheritance

• Object
• Tactic
• BuiltinTactic

Properties

hashCode → int

The hash code for this object.

no setter, inherited

name → String

final

runtimeType → Type

A representation of the runtime type of the object.

no setter, inherited

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