Package tools.refinery.store.reasoning.lifting

Class DnfLifter

java.lang.Object

tools.refinery.store.reasoning.lifting.DnfLifter

public class DnfLifter
extends Object

Constructor Summary

Constructors

Constructor	Description
DnfLifter()

Method Summary

Modifier and Type	Method	Description
static String	decorateName(String name, Modality modality, Concreteness concreteness)
static String	decorateName(String name, ModalitySpecification modality, ConcretenessSpecification concreteness)
Dnf	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)
RelationalQuery	lift(Modality modality, Concreteness concreteness, RelationalQuery query)
Dnf	lift(ModalitySpecification modality, ConcretenessSpecification concreteness, Dnf dnf)
<T> FunctionalQuery<T>	lift(ModalitySpecification modality, ConcretenessSpecification concreteness, FunctionalQuery<T> query)
<T> Query<T>	lift(ModalitySpecification modality, ConcretenessSpecification concreteness, Query<T> query)
RelationalQuery	lift(ModalitySpecification modality, ConcretenessSpecification concreteness, RelationalQuery query)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

DnfLifter

public DnfLifter()

Method Details

lift

public <T> Query<T> lift(Modality modality,
 Concreteness concreteness,
 Query<T> query)

lift

public <T> Query<T> lift(ModalitySpecification modality,
 ConcretenessSpecification concreteness,
 Query<T> query)

lift

public RelationalQuery lift(Modality modality,
 Concreteness concreteness,
 RelationalQuery query)

lift

public RelationalQuery lift(ModalitySpecification modality,
 ConcretenessSpecification concreteness,
 RelationalQuery query)

lift

public <T> FunctionalQuery<T> lift(Modality modality,
 Concreteness concreteness,
 FunctionalQuery<T> query)

lift

public <T> FunctionalQuery<T> lift(ModalitySpecification modality,
 ConcretenessSpecification concreteness,
 FunctionalQuery<T> query)

lift

public Dnf lift(Modality modality,
 Concreteness concreteness,
 Dnf dnf)

lift

public Dnf lift(ModalitySpecification modality,
 ConcretenessSpecification concreteness,
 Dnf dnf)

decorateName

public static String decorateName(String name,
 Modality modality,
 Concreteness concreteness)

decorateName

public static String decorateName(String name,
 ModalitySpecification modality,
 ConcretenessSpecification concreteness)