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

Packages that use UnaryOperator

Package	Description
dev.civl.sarl.IF	This package and its subpackages provide the "public interface" to SARL.
dev.civl.sarl.preuniverse.IF	This package provides all of the functionality of a symbolic universe except reasoning.

Uses of UnaryOperator in dev.civl.sarl.IF

Subinterfaces of UnaryOperator in dev.civl.sarl.IF

Modifier and Type	Interface	Description
interface	CanonicalRenamer	A substituter used to assign new, canonical names to all symbolic constants occurring in a sequence of expressions.

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

Modifier and Type	Method	Description
UnaryOperator<SymbolicExpression>	CoreUniverse.constantSubstituter(Map<SymbolicConstant,SymbolicExpression> map)	Returns a substituter for which the base substitutions are specified by an explicit Java Map.
UnaryOperator<SymbolicExpression>	CoreUniverse.mapSubstituter(UnaryOperator<SymbolicExpression> operator)
UnaryOperator<SymbolicExpression>	CoreUniverse.mapSubstituter(Map<SymbolicExpression,SymbolicExpression> map)	Returns a substituter for which the base substitutions are specified by an explicit Java Map.
UnaryOperator<SymbolicExpression>	CoreUniverse.nameSubstituter(Map<StringObject,StringObject> nameMap)	Returns a substituter specified by a mapping of old names to new names for symbolic constants.
UnaryOperator<SymbolicExpression>	CoreUniverse.simpleSubstituter(SymbolicConstant var, SymbolicExpression value)	Returns a substituter that replaces a specific symbolic constant with some specific value.

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

Modifier and Type	Method	Description
UnaryOperator<SymbolicExpression>	CoreUniverse.mapSubstituter(UnaryOperator<SymbolicExpression> operator)

Uses of UnaryOperator in dev.civl.sarl.preuniverse.IF

Methods in dev.civl.sarl.preuniverse.IF that return UnaryOperator

Modifier and Type	Method	Description
UnaryOperator<SymbolicExpression>	PreUniverse.cloneBoundCleaner(UnaryOperator<SymbolicExpression> boundCleaner)
UnaryOperator<SymbolicExpression>	PreUniverse.newMinimalBoundCleaner()	Produces a new object for renaming bound variables in a minimal way.

Methods in dev.civl.sarl.preuniverse.IF with parameters of type UnaryOperator

Modifier and Type	Method	Description
UnaryOperator<SymbolicExpression>	PreUniverse.cloneBoundCleaner(UnaryOperator<SymbolicExpression> boundCleaner)