Package owl.factories

Interface EquivalenceClassFactory


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

      • atomicPropositions

        List<String> atomicPropositions()
        The atomic propositions associated with this factory.
        Returns:
        the list of atomic propositions for all formulas.
      • of

        EquivalenceClass of​(Formula formula)
        Create or retrieve a (propositional) equivalence class for a LTL formula.
        Parameters:
        formula - The LTL formula. It is expected to be negation normal form.
        Returns:
        the corresponding equivalence class.