Package edu.udel.cis.vsl.sarl.preuniverse.common

Interface ExpressionSubstituter.SubstituterState

Enclosing class:
ExpressionSubstituter
public static interface ExpressionSubstituter.SubstituterState
An object for storing some information about the state of the search through a symbolic expression. Used as the type of one of the arguments to all the methods.

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    isInitial()
    Is this an initial state? If this returns true it gives permission to the ExpressionSubstituter to use its cache to store and retrieve previous substitution results.

  • Method Details

    • isInitial

      boolean isInitial()
      Is this an initial state? If this returns true it gives permission to the ExpressionSubstituter to use its cache to store and retrieve previous substitution results.
      Returns:
      true iff this is an initial state