Interface Tactic<Name>

Readonlyctx

Readonlyptr

apply

• apply(goal: Goal<Name> | Bool<Name>): Promise<ApplyResult<Name>>

• Apply the tactic to a goal and return the resulting subgoals.

  Parameters

  • goal: Goal<Name> | Bool<Name>

  Returns Promise<ApplyResult<Name>>

help

• help(): string

• Get help string describing the tactic.

  Returns string

paramDescrs

• paramDescrs(): ParamDescrs<Name>

• Get parameter descriptions for the tactic. Returns a ParamDescrs object for introspecting available parameters.

  Returns ParamDescrs<Name>

solver

• solver(): Solver<Name>

• Create a solver from this tactic. The solver will always solve each check() from scratch using this tactic.

  Returns Solver<Name>

usingParams

• usingParams(params: Params<Name>): Tactic<Name>

• Return a tactic that uses the given configuration parameters.

  Parameters

  • params: Params<Name>

    Parameters to configure the tactic

  Returns Tactic<Name>