public class Argument extends java.util.LinkedList<Rule> implements Formula
Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID |
Constructor and Description |
---|
Argument(java.util.List<Rule> rules) |
Argument(Rule rule) |
Modifier and Type | Method and Description |
---|---|
boolean |
checkValid()
An argument may only contain nonempty ground rules (i.e.
|
java.util.Set<DLPLiteral> |
getAssumptions()
Returns the set of assumptions, i.e.
|
java.util.Set<DLPLiteral> |
getConclusions()
Returns the set of conclusions of this argument, which is made up of
the heads of all rules contained in this argument.
|
Signature |
getSignature()
Returns the signature of the language of this formula.
|
java.lang.String |
toString() |
add, add, addAll, addAll, addFirst, addLast, clear, clone, contains, descendingIterator, element, get, getFirst, getLast, indexOf, lastIndexOf, listIterator, offer, offerFirst, offerLast, peek, peekFirst, peekLast, poll, pollFirst, pollLast, pop, push, remove, remove, remove, removeFirst, removeFirstOccurrence, removeLast, removeLastOccurrence, set, size, spliterator, toArray, toArray
equals, hashCode, listIterator, removeRange, subList
containsAll, isEmpty, removeAll, retainAll
finalize, getClass, notify, notifyAll, wait, wait, wait
private static final long serialVersionUID
public Argument(Rule rule)
public Argument(java.util.List<Rule> rules)
public java.util.Set<DLPLiteral> getConclusions()
public java.util.Set<DLPLiteral> getAssumptions()
public boolean checkValid()
public java.lang.String toString()
toString
in class java.util.AbstractCollection<Rule>
public Signature getSignature()
Formula
getSignature
in interface Formula