Uses of Class
org.oristool.util.Featurizable
Packages that use Featurizable
Package
Description
General framework for state space exploration.
Generic state representation.
Petri net representation.
-
Uses of Featurizable in org.oristool.analyzer
Subclasses of Featurizable in org.oristool.analyzerModifier and TypeClassDescriptionfinal classSuccession between two states after the firing of an event. -
Uses of Featurizable in org.oristool.analyzer.state
Subclasses of Featurizable in org.oristool.analyzer.state -
Uses of Featurizable in org.oristool.petrinet
Subclasses of Featurizable in org.oristool.petrinetModifier and TypeClassDescriptionfinal classAn inhibitor arc connecting a place to a transition.final classA Petri net model.final classPlace of a Petri net.classPostcondition of a Petri net.final classPrecondition of a Petri net.final classTransition of a Petri net.