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

package edu.udel.cis.vsl.sarl.preuniverse.common
This package provides the implementation of PreUniverse module. edu.udel.cis.vsl.sarl.preuniverse.common. Most functions implement in commonpreuniverse.java.
See Also:
  • Class
    Description
    BoundCleaner
    Replaces all bound variables in expressions with new ones so that each has a unique name and a name different from any unbound symbolic constant (assuming no one else uses the "special string").
    BoundCleaner2
    Replaces all bound variables in expressions with new ones so that each has a unique name and a name different from any unbound symbolic constant (assuming no one else uses the "special string").
    CommonCanonicalRenamer
    A substituter used to assign new, canonical names to all symbolic constants occurring in a sequence of expressions.
    CommonFactorySystem
     
    CommonPreUniverse
     
    CompressedPrinter
     
    ExpressionSubstituter
    A generic, abstract class for performing substitutions on symbolic expressions.
    ExpressionSubstituter.SubstituterState
    An object for storing some information about the state of the search through a symbolic expression.
    ExpressionWalker
    Walks a symbolic expression to collect all free (unbound) symbolic constants occurring anywhere in that expression.
    MapSubstituter
    A substituter specified by giving an explicit Java Map from SymbolicExpression to SymbolicExpression to specify the base substitutions.
    NameSubstituter
    A substituter used to change the names of symbolic constants.
    ReservedFunctions
     
    SimpleSubstituter
    A substituter specified by a single symbolic constant and a value that is to replace that symbolic constant.