BuiltinTactic class

A built-in tactic.

Inheritance

• Object
• Tactic
• BuiltinTactic

Properties

hashCode → int

The hash code for this object.

no setter, inherited

name → String

The name of this tactic.

final

runtimeType → Type

A representation of the runtime type of the object.

no setter, inherited

Methods

andThen(Tactic other) → Tactic

Returns a tactic that applies this then other to every subgoal.

inherited

apply(Goal g, {Params? params}) → ApplyResult

Applies this tactic to the given goal.

inherited

cond(Tactic other, Probe p) → Tactic

Returns a tactic that applies this if p returns true, other otherwise.

inherited

getHelp() → String

Returns a string containing the documentation for this tactic.

getParamDescriptions() → ParamDescs

Gets a description of the parameters accepted by this tactic.

inherited

getParamHelp() → String

Gets a description of the parameters accepted by this tactic.

inherited

noSuchMethod(Invocation invocation) → dynamic

Invoked when a nonexistent method or property is accessed.

inherited

orElse(Tactic other) → Tactic

Returns a tactic that applies this or other if this fails.

inherited

parAndThen(Tactic other) → Tactic

Returns a tactic that applies this then other to every subgoal in parallel.

inherited

repeat(int max) → Tactic

Returns a tactic that repeatedly applies this a maximum of max times.

inherited

toSolver() → Solver

Create a Solver that uses this tactic.

inherited

toString() → String

A string representation of this object.

inherited

tryFor(Duration duration) → Tactic

Returns a tactic that applies this for the given duration.

inherited

usingParams(Params params) → Tactic

Returns a tactic that applies this with the given parameters.

inherited

when(Probe p) → Tactic

Returns a tactic that applies this when the given probe returns true.

inherited

Operators

operator ==(Object other) → bool

The equality operator.

inherited