Package | Description |
---|---|
de.uni_due.inf.ti.raven.algorithms |
Classes to run different algorithms.
|
Modifier and Type | Class and Description |
---|---|
class |
BackwardSimulationAlgorithm
This class implements the algorithm to compute the backward simulation relation.
|
class |
ForwardSimulationAlgorithm
This class implements the algorithm to compute simulation relation in the obvious way.
|