public interface NegativeConstraint extends Rule, AppendableToStringBuilder
Modifier and Type | Method and Description |
---|---|
InMemoryAtomSet |
getBody()
Get the body (the hypothesis) of this constraint.
|
String |
getLabel()
Get the label (the name) of this constraint.
|
Set<Term> |
getTerms()
Get all terms of this constraint.
|
Set<Term> |
getTerms(Term.Type type)
Deprecated.
|
void |
setLabel(String label)
Set the label (the name) for this constraint.
|
getConstants, getExistentials, getFrontier, getHead, getLiterals, getVariables
compareTo
appendTo
String getLabel()
void setLabel(String label)
InMemoryAtomSet getBody()
@Deprecated Set<Term> getTerms(Term.Type type)
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.