Uses of Interface
dev.civl.sarl.IF.object.StringObject

Packages that use StringObject

Package	Description
dev.civl.sarl.expr.IF	This package provides the internal interface for the representation of basic symbolic expressions.
dev.civl.sarl.IF	This package and its subpackages provide the "public interface" to SARL.
dev.civl.sarl.IF.expr	The public interface package dealing with symbolic expressions.
dev.civl.sarl.IF.type	The type package provides interfaces for all of the symbolic types.
dev.civl.sarl.object.IF	Internal interface for the symbolic object module, providing mechanisms for creating SymbolicObjects.
dev.civl.sarl.type.IF	Internal interface for the "type" module, providing a SymbolicTypeFactory for producing SymbolicType s.

Uses of StringObject in dev.civl.sarl.expr.IF

Methods in dev.civl.sarl.expr.IF with parameters of type StringObject

Modifier and Type	Method	Description
BooleanSymbolicConstant	BooleanExpressionFactory.booleanSymbolicConstant(StringObject name)
SymbolicConstant	ExpressionFactory.symbolicConstant(StringObject name, SymbolicType type)
NumericSymbolicConstant	NumericExpressionFactory.symbolicConstant(StringObject name, SymbolicType type)

Uses of StringObject in dev.civl.sarl.IF

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

Modifier and Type	Method	Description
StringObject	CoreUniverse.stringObject(String string)	Returns the StringObject wrapping the given String value.

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

Modifier and Type	Method	Description
SymbolicConstant	CoreUniverse.symbolicConstant(StringObject name, SymbolicType type)	Returns the SymbolicConstant with the given name and type.
SymbolicTupleType	CoreUniverse.tupleType(StringObject name, Iterable<? extends SymbolicType> fieldTypes)	Returns the tuple type defined by the given sequence of component types.
SymbolicUnionType	CoreUniverse.unionType(StringObject name, Iterable<? extends SymbolicType> memberTypes)	Returns the type which is the union of the given member types.

Method parameters in dev.civl.sarl.IF with type arguments of type StringObject

Modifier and Type	Method	Description
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.nameSubstituter(Map<StringObject,StringObject> nameMap)	Returns a substituter specified by a mapping of old names to new names for symbolic constants.

Uses of StringObject in dev.civl.sarl.IF.expr

Methods in dev.civl.sarl.IF.expr that return StringObject

Modifier and Type	Method	Description
StringObject	SymbolicConstant.name()	Returns the name of this symbolic constant.

Uses of StringObject in dev.civl.sarl.IF.type

Methods in dev.civl.sarl.IF.type that return StringObject

Modifier and Type	Method	Description
StringObject	SymbolicTupleType.name()	Returns the name of this tuple type, a non-null StringObject.
StringObject	SymbolicUninterpretedType.name()
StringObject	SymbolicUnionType.name()	The name of this union type.

Uses of StringObject in dev.civl.sarl.object.IF

Methods in dev.civl.sarl.object.IF that return StringObject

Modifier and Type	Method	Description
StringObject	ObjectFactory.stringObject(String string)

Uses of StringObject in dev.civl.sarl.type.IF

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

Modifier and Type	Method	Description
SymbolicTupleType	SymbolicTypeFactory.tupleType(StringObject name, SymbolicTypeSequence fieldTypes)	Creates a SymbolicTupleType
SymbolicUninterpretedType	SymbolicTypeFactory.uninterpretedType(StringObject name)	Returns an uninterpreted type which is an instance of SymbolicUninterpretedType.
SymbolicUnionType	SymbolicTypeFactory.unionType(StringObject name, SymbolicTypeSequence memberTypes)	Creates a SymbolicUnionType