Taclet.TacletLabelHint
choices, executor, prefixMap, ruleSets, tacletAnnotations, tacletAsString
Constructor and Description |
---|
NoFindTaclet(Name name,
TacletApplPart applPart,
ImmutableList<TacletGoalTemplate> goalTemplates,
ImmutableList<RuleSet> ruleSets,
TacletAttributes attrs,
ImmutableMap<SchemaVariable,TacletPrefix> prefixMap,
ImmutableSet<Choice> choices,
ImmutableSet<TacletAnnotation> tacletAnnotations)
creates a Schematic Theory Specific Rule (Taclet) with the given
parameters.
|
Modifier and Type | Method and Description |
---|---|
protected void |
createAndInitializeExecutor() |
protected ImmutableSet<QuantifiableVariable> |
getBoundVariablesHelper()
the empty set as a no find taclet has no other entities where
variables cann occur bound than in the goal templates
|
ImmutableSet<SchemaVariable> |
getIfFindVariables() |
NoFindTaclet |
setName(java.lang.String s) |
admissible, admissibleAutomatic, admissibleInteractive, apply, closeGoal, collectSchemaVars, createAndInitializeMatcher, createTacletServices, displayName, equals, getBoundVariables, getChoices, getExecutor, getIfVariables, getMatcher, getNameCorrespondent, getPrefix, getRuleJustification, getRuleSets, getSurviveSymbExec, getTrigger, getVariableConditions, goalTemplates, hashCode, hasReplaceWith, hasTrigger, ifSequent, isContextInPrefix, name, prefixMap, ruleSets, toString, toStringAttribs, toStringGoalTemplates, toStringIf, toStringRuleSets, toStringVarCond, varDeclaredNew, varsNew, varsNewDependingOn, varsNotFreeIn
public NoFindTaclet(Name name, TacletApplPart applPart, ImmutableList<TacletGoalTemplate> goalTemplates, ImmutableList<RuleSet> ruleSets, TacletAttributes attrs, ImmutableMap<SchemaVariable,TacletPrefix> prefixMap, ImmutableSet<Choice> choices, ImmutableSet<TacletAnnotation> tacletAnnotations)
name
- the name of the TacletapplPart
- contains the application part of an Taclet that is
the if-sequent, the variable conditionsgoalTemplates
- the IListruleSets
- a list of rule sets for the Tacletattrs
- attributes for the Taclet; these are boolean valuesprefixMap
- a ImmMapchoices
- the SetOfprotected void createAndInitializeExecutor()
createAndInitializeExecutor
in class Taclet
public ImmutableSet<SchemaVariable> getIfFindVariables()
getIfFindVariables
in class Taclet
protected ImmutableSet<QuantifiableVariable> getBoundVariablesHelper()
getBoundVariablesHelper
in class Taclet
public NoFindTaclet setName(java.lang.String s)