Package tools.refinery.language.resource.state

Class DerivedVariableComputer

java.lang.Object
tools.refinery.language.resource.state.DerivedVariableComputer
public class DerivedVariableComputer extends Object

  • Constructor Details

    • DerivedVariableComputer

      public DerivedVariableComputer()

  • Method Details

    • installDerivedVariables

      public void installDerivedVariables(Problem problem)

    • installDerivedParametricDefinitionState

      protected void installDerivedParametricDefinitionState(ParametricDefinition definition)

    • installDerivedPredicateDefinitionState

      protected void installDerivedPredicateDefinitionState(PredicateDefinition definition, Set<String> knownVariables)

    • installDerivedFunctionDefinitionState

      protected void installDerivedFunctionDefinitionState(FunctionDefinition definition, Set<String> knownVariables)

    • installDerivedRuleDefinitionState

      protected void installDerivedRuleDefinitionState(RuleDefinition definition, Set<String> knownVariables)

    • installDerivedAssertionState

      protected void installDerivedAssertionState(AbstractAssertion assertion)

    • discardDerivedVariables

      public void discardDerivedVariables(Problem problem)

    • discardParametricDefinitionState

      protected void discardParametricDefinitionState(ParametricDefinition definition)