Uses of Class
eu.simuline.relana.model.FlatCInstance

Packages that use FlatCInstance

Package	Description
eu.simuline.relana.model	Description for object oriented models in terms of java classes.

Uses of FlatCInstance in eu.simuline.relana.model

Methods in eu.simuline.relana.model that return FlatCInstance

Modifier and Type	Method	Description
FlatCInstance	FlatCInstance.add(SInstance serv, Deficiency def)	Returns the FlatCInstance arising from this one by assuming that def occurs within serv.
FlatCInstance	CInstance.flatten()
FlatCInstance	FlatCInstance.remove(SInstance serv, Deficiency def)	Returns the FlatCInstance arising from this one by assuming that def does not occur within serv.
(package private) FlatCInstance	FlatCInstance.substitute(SInstance serv, Formula form)	Returns the FlatCInstance arising from this one by substituting serv by form in all effects.