private static final class BlockContractRule.VariablesCreatorAndRegistrar extends Object
Modifier and Type | Field and Description |
---|---|
private Goal |
goal |
private BlockContract.Variables |
placeholderVariables |
private TermServices |
services |
Constructor and Description |
---|
BlockContractRule.VariablesCreatorAndRegistrar(Goal goal,
BlockContract.Variables placeholderVariables,
TermServices services) |
Modifier and Type | Method and Description |
---|---|
BlockContract.Variables |
createAndRegister(Term self) |
private Map<Label,ProgramVariable> |
createAndRegisterFlags(Map<Label,ProgramVariable> placeholderFlags) |
private Map<LocationVariable,LocationVariable> |
createAndRegisterRemembranceVariables(Map<LocationVariable,LocationVariable> remembranceVariables) |
private LocationVariable |
createAndRegisterVariable(ProgramVariable placeholderVariable) |
private final Goal goal
private final BlockContract.Variables placeholderVariables
private final TermServices services
public BlockContractRule.VariablesCreatorAndRegistrar(Goal goal, BlockContract.Variables placeholderVariables, TermServices services)
public BlockContract.Variables createAndRegister(Term self)
private Map<Label,ProgramVariable> createAndRegisterFlags(Map<Label,ProgramVariable> placeholderFlags)
private Map<LocationVariable,LocationVariable> createAndRegisterRemembranceVariables(Map<LocationVariable,LocationVariable> remembranceVariables)
private LocationVariable createAndRegisterVariable(ProgramVariable placeholderVariable)