Feature

Classes
class	ocra::PartialState
	A abstract partial state. More...
class	ocra::PartialModelState
	A partial state of the model. More...
class	ocra::PartialTargetState
	A target for a model partial state. More...

Detailed Description