public class DefaultConjunctiveQueryWithNegatedParts extends Object implements ConjunctiveQueryWithNegatedParts
Constructor and Description |
---|
DefaultConjunctiveQueryWithNegatedParts(ConjunctiveQueryWithNegatedParts query) |
DefaultConjunctiveQueryWithNegatedParts(InMemoryAtomSet positiveAtomSet,
List<InMemoryAtomSet> negatedParts) |
DefaultConjunctiveQueryWithNegatedParts(InMemoryAtomSet positiveAtomSet,
List<InMemoryAtomSet> negatedParts,
List<Term> ans) |
DefaultConjunctiveQueryWithNegatedParts(String label,
InMemoryAtomSet positiveAtomSet,
List<InMemoryAtomSet> negatedParts) |
DefaultConjunctiveQueryWithNegatedParts(String label,
InMemoryAtomSet positiveAtomSet,
List<InMemoryAtomSet> negatedParts,
List<Term> ans) |
Modifier and Type | Method and Description |
---|---|
void |
appendTo(StringBuilder sb) |
boolean |
equals(ConjunctiveQueryWithNegatedParts other) |
boolean |
equals(Object obj) |
List<Term> |
getAnswerVariables()
Returns the answer variables of the query.
|
String |
getLabel()
The label (the name) for this query.
|
List<InMemoryAtomSet> |
getNegatedParts()
Get the set of facts which must be false (at least one).
|
InMemoryAtomSet |
getPositivePart()
Get the set of facts which must be true.
|
boolean |
isBoolean() |
void |
setLabel(String label) |
String |
toString() |
public DefaultConjunctiveQueryWithNegatedParts(InMemoryAtomSet positiveAtomSet, List<InMemoryAtomSet> negatedParts)
public DefaultConjunctiveQueryWithNegatedParts(String label, InMemoryAtomSet positiveAtomSet, List<InMemoryAtomSet> negatedParts)
public DefaultConjunctiveQueryWithNegatedParts(InMemoryAtomSet positiveAtomSet, List<InMemoryAtomSet> negatedParts, List<Term> ans)
public DefaultConjunctiveQueryWithNegatedParts(String label, InMemoryAtomSet positiveAtomSet, List<InMemoryAtomSet> negatedParts, List<Term> ans)
label
- the name of this querypositiveAtomSet
- the positive part of the conjunction of atom representing the
querynegatedParts
- a list of negated conjunction of atoms.ans
- the list of answer variablespublic DefaultConjunctiveQueryWithNegatedParts(ConjunctiveQueryWithNegatedParts query)
public String getLabel()
ConjunctiveQueryWithNegatedParts
getLabel
in interface ConjunctiveQueryWithNegatedParts
getLabel
in interface Query
public InMemoryAtomSet getPositivePart()
ConjunctiveQueryWithNegatedParts
getPositivePart
in interface ConjunctiveQueryWithNegatedParts
public List<InMemoryAtomSet> getNegatedParts()
ConjunctiveQueryWithNegatedParts
getNegatedParts
in interface ConjunctiveQueryWithNegatedParts
public List<Term> getAnswerVariables()
getAnswerVariables
in interface ConjunctiveQueryWithNegatedParts
public boolean isBoolean()
public void appendTo(StringBuilder sb)
appendTo
in interface AppendableToStringBuilder
public boolean equals(ConjunctiveQueryWithNegatedParts other)
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.