Package owl.ltl

Class EquivalenceClass

  • All Implemented Interfaces:
    LtlLanguageExpressible

    public class EquivalenceClass
    extends Object
    implements LtlLanguageExpressible
    EquivalenceClass interface. The general contract of this interface is: If two implementing objects were created from different factories, implies and equals have to return false.