Package owl.factories
Interface EquivalenceClassFactory
-
public interface EquivalenceClassFactory
A factory for creating propositional equivalence classes for LTL formulas.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description List<String>
atomicPropositions()
The atomic propositions associated with this factory.EquivalenceClass
of(Formula formula)
Create or retrieve a (propositional) equivalence class for a LTL formula.
-
-
-
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.
-
-