Uses of Interface
dev.civl.sarl.IF.CanonicalRenamer

Packages that use CanonicalRenamer

Package	Description
dev.civl.sarl.IF	This package and its subpackages provide the "public interface" to SARL.

Uses of CanonicalRenamer in dev.civl.sarl.IF

Methods in dev.civl.sarl.IF that return CanonicalRenamer

Modifier and Type	Method	Description
CanonicalRenamer	CoreUniverse.canonicalRenamer(String root)	Returns an operator on SymbolicExpressions that replaces all symbolic constants (including bound ones) with symbolic constants with unique canonical names.
CanonicalRenamer	CoreUniverse.canonicalRenamer(String root, Predicate<SymbolicConstant> ignore)	Returns an operator on SymbolicExpressions that replaces all symbolic constants (including bound ones) with symbolic constants with unique canonical names.