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

Packages that use SymbolicSetType

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 SymbolicSetType in dev.civl.sarl.IF

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

Modifier and Type	Method	Description
SymbolicSetType	CoreUniverse.setType(SymbolicType elementType)	Returns the type for "set of T"; not yet implemented.

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

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

Modifier and Type	Method	Description
SymbolicSetType	SymbolicTypeFactory.setType(SymbolicType elementType)