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)
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)

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 RelationalQuery lift(Modality modality,
 Concreteness concreteness,
 RelationalQuery query)

lift

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

lift

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

decorateName

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