Class DnfLifter
java.lang.Object
tools.refinery.store.reasoning.lifting.DnfLifter
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionstatic String
decorateName
(String name, Modality modality, Concreteness concreteness) lift
(Modality modality, Concreteness concreteness, Dnf dnf) <T> FunctionalQuery
<T> lift
(Modality modality, Concreteness concreteness, FunctionalQuery<T> query) <T> Query
<T> lift
(Modality modality, Concreteness concreteness, Query<T> query) lift
(Modality modality, Concreteness concreteness, RelationalQuery query)
-
Constructor Details
-
DnfLifter
public DnfLifter()
-
-
Method Details
-
lift
-
lift
-
lift
public <T> FunctionalQuery<T> lift(Modality modality, Concreteness concreteness, FunctionalQuery<T> query) -
lift
-
decorateName
-