Package owl.bdd

Interface EquivalenceClassFactory


  • public interface EquivalenceClassFactory
    A factory for creating propositional equivalence classes for LTL formulas.