Module dev.civl.sarl
Package dev.civl.sarl.IF

Interface CanonicalRenamer

All Superinterfaces:
Transform<SymbolicExpression,SymbolicExpression>, UnaryOperator<SymbolicExpression>
public interface CanonicalRenamer extends UnaryOperator<SymbolicExpression>

A substituter used to assign new, canonical names to all symbolic constants occurring in a sequence of expressions. This class is provided with a root String, e.g., "X". Then, as it encounters symbolic constants, it renames them X0, X1, X2, ...., in that order.

The

invalid reference 
#apply(SymbolicExpression)
method consumes a symbolic expression and produces the expression obtained by replacing symbolic constants whose names begin with the root string with the new renumbered version.

  • Method Summary

    Modifier and Type
    Method
    Description
    int
    getNumNewNames()
    Returns the number of new (post-canonicalized) symbolic constants at the current time.

    Methods inherited from interface dev.civl.sarl.IF.Transform

    apply

  • Method Details

    • getNumNewNames

      int getNumNewNames()
      Returns the number of new (post-canonicalized) symbolic constants at the current time. Initially, this will be 0, but as applied is repeatedly called and new symbolic constants are created, this number will grow.
      Returns:
      current number of new symbolic constants