public class LdoArgument extends LdoFormula implements Atom, java.lang.Comparable<LdoArgument>
Atom.AtomImpl, Atom.RETURN_SET_PREDICATE
Modifier and Type | Field and Description |
---|---|
private PropositionalPredicate |
predicate
The name of the proposition
|
Constructor and Description |
---|
LdoArgument()
Default-Ctor for dynamic instantiation
|
LdoArgument(LdoArgument other) |
LdoArgument(java.lang.String name)
Creates a new proposition of the given name.
|
Modifier and Type | Method and Description |
---|---|
void |
addArgument(Term<?> arg)
Adds an argument to the atom's argument list
|
LdoArgument |
clone()
Creates a deep copy of this formula
|
int |
compareTo(LdoArgument o) |
boolean |
equals(java.lang.Object obj) |
Argument |
getArgument()
Returns an argument representation (in Dung-style)
of this LdoArgument.
|
java.util.List<? extends Term<?>> |
getArguments() |
java.util.Set<LdoArgument> |
getAtoms()
Processes the set of all atoms which appear in this formula
|
java.util.Set<LdoFormula> |
getLiterals()
Returns all literals, i.e.
|
java.lang.String |
getName() |
PropositionalPredicate |
getPredicate() |
java.util.Set<PropositionalPredicate> |
getPredicates()
Processes the set of all predicates which appear in this
formula
|
DungSignature |
getSignature()
Returns the signature of the language of this formula.
|
int |
hashCode() |
boolean |
isComplete() |
boolean |
isLiteral() |
Atom.RETURN_SET_PREDICATE |
setPredicate(Predicate predicate)
Changes the predicate of the atom.
|
java.lang.String |
toString() |
combineWithAnd, combineWithOr, complement, getDividers, getPredicateCls, getUniformProbability
finalize, getClass, notify, notifyAll, wait, wait, wait
getPredicateCls
private PropositionalPredicate predicate
public LdoArgument()
public LdoArgument(java.lang.String name)
name
- the name of the proposition.public LdoArgument(LdoArgument other)
public Argument getArgument()
public java.lang.String getName()
public PropositionalPredicate getPredicate()
getPredicate
in interface Atom
public java.util.Set<PropositionalPredicate> getPredicates()
SimpleLogicalFormula
getPredicates
in interface SimpleLogicalFormula
getPredicates
in class LdoFormula
public java.lang.String toString()
toString
in class java.lang.Object
public DungSignature getSignature()
Formula
getSignature
in interface Formula
getSignature
in class LdoFormula
public int hashCode()
hashCode
in interface SimpleLogicalFormula
hashCode
in class LdoFormula
public boolean equals(java.lang.Object obj)
equals
in interface SimpleLogicalFormula
equals
in class LdoFormula
public LdoArgument clone()
SimpleLogicalFormula
clone
in interface SimpleLogicalFormula
clone
in class LdoFormula
public void addArgument(Term<?> arg)
Atom
addArgument
in interface Atom
arg
- The next argumentpublic java.util.List<? extends Term<?>> getArguments()
getArguments
in interface Atom
public boolean isComplete()
isComplete
in interface Atom
public java.util.Set<LdoArgument> getAtoms()
SimpleLogicalFormula
getAtoms
in interface SimpleLogicalFormula
getAtoms
in class LdoFormula
public boolean isLiteral()
isLiteral
in interface SimpleLogicalFormula
isLiteral
in class LdoFormula
public java.util.Set<LdoFormula> getLiterals()
LdoFormula
getLiterals
in class LdoFormula
public Atom.RETURN_SET_PREDICATE setPredicate(Predicate predicate)
Atom
setPredicate
in interface Atom
public int compareTo(LdoArgument o)
compareTo
in interface java.lang.Comparable<LdoArgument>