Uses of Interface
rationals.properties.Relation

Packages that use Relation

Package	Description
rationals.properties

Uses of Relation in rationals.properties

Classes in rationals.properties that implement Relation

Modifier and Type	Class and Description
class	Bisimulation This method computes the (strong) bisimulation relation between two states.