Package owl.factories
Interface EquivalenceClassFactory
-
public interface EquivalenceClassFactory
-
-
Method Summary
-
-
-
Method Detail
-
of
EquivalenceClass of(Formula formula)
-
getFalse
default EquivalenceClass getFalse()
-
getTrue
default EquivalenceClass getTrue()
-
atomicPropositions
BitSet atomicPropositions(EquivalenceClass clazz, boolean includeNested)
Collects all literals used in the bdd and stores the corresponding atomic propositions in the BitSet.
-
modalOperators
Set<Formula.ModalOperator> modalOperators(EquivalenceClass clazz)
Compute the support of the EquivalenceClass.- Returns:
- All modal operators this equivalence class depends on.
-
implies
boolean implies(EquivalenceClass clazz, EquivalenceClass other)
-
conjunction
default EquivalenceClass conjunction(Collection<EquivalenceClass> classes)
-
conjunction
EquivalenceClass conjunction(Iterator<EquivalenceClass> classes)
-
disjunction
default EquivalenceClass disjunction(Collection<EquivalenceClass> classes)
-
disjunction
EquivalenceClass disjunction(Iterator<EquivalenceClass> classes)
-
substitute
EquivalenceClass substitute(EquivalenceClass clazz, Function<? super Formula.ModalOperator,? extends Formula> substitution)
-
temporalStep
EquivalenceClass temporalStep(EquivalenceClass clazz, BitSet valuation)
-
temporalStepUnfold
EquivalenceClass temporalStepUnfold(EquivalenceClass clazz, BitSet valuation)
-
unfold
EquivalenceClass unfold(EquivalenceClass clazz)
-
unfoldTemporalStep
EquivalenceClass unfoldTemporalStep(EquivalenceClass clazz, BitSet valuation)
-
toString
String toString(EquivalenceClass clazz)
-
temporalStepTree
<T> ValuationTree<T> temporalStepTree(EquivalenceClass clazz, Function<EquivalenceClass,Set<T>> mapper)
-
trueness
double trueness(EquivalenceClass clazz)
-
-