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

Packages that use Predicate

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

Uses of Predicate in dev.civl.sarl.IF

Methods in dev.civl.sarl.IF with parameters of type Predicate

Modifier and Type	Method	Description
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.