public class RuleWrapper2ConjunctiveQueryWithNegatedParts extends Object implements ConjunctiveQueryWithNegatedParts
Constructor and Description |
---|
RuleWrapper2ConjunctiveQueryWithNegatedParts(Rule rule) |
Modifier and Type | Method and Description |
---|---|
void |
appendTo(StringBuilder sb) |
List<Term> |
getAnswerVariables()
Get the answer variables
|
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 RuleWrapper2ConjunctiveQueryWithNegatedParts(Rule rule)
public boolean isBoolean()
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()
ConjunctiveQueryWithNegatedParts
getAnswerVariables
in interface ConjunctiveQueryWithNegatedParts
public void appendTo(StringBuilder sb)
appendTo
in interface AppendableToStringBuilder
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.