Uses of Interface
dev.civl.sarl.IF.type.SymbolicUninterpretedType

Packages that use SymbolicUninterpretedType

Package	Description
dev.civl.sarl.IF	This package and its subpackages provide the "public interface" to SARL.
dev.civl.sarl.type.IF	Internal interface for the "type" module, providing a SymbolicTypeFactory for producing SymbolicType s.

Uses of SymbolicUninterpretedType in dev.civl.sarl.IF

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

Modifier and Type	Method	Description
SymbolicUninterpretedType	CoreUniverse.symbolicUninterpretedType(String name)	Returns an uninterpreted type which is an instance of SymbolicUninterpretedType.

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

Modifier and Type	Method	Description
SymbolicExpression	CoreUniverse.concreteValueOfUninterpretedType(SymbolicUninterpretedType type, IntObject key)	Returns a symbolic expression of a SymbolicUninterpretedType.

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

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

Modifier and Type	Method	Description
SymbolicUninterpretedType	SymbolicTypeFactory.uninterpretedType(StringObject name)	Returns an uninterpreted type which is an instance of SymbolicUninterpretedType.