public interface Atom extends SimpleLogicalFormula
Modifier and Type | Interface and Description |
---|---|
static class |
Atom.AtomImpl
Gives common implementations for methods shared among atoms of different types.
|
static class |
Atom.RETURN_SET_PREDICATE
An enum containing the different return values of the
setPredicate() method of Atom.
|
Modifier and Type | Method and Description |
---|---|
void |
addArgument(Term<?> arg)
Adds an argument to the atom's argument list
|
java.util.List<? extends Term<?>> |
getArguments() |
java.lang.String |
getName() |
Predicate |
getPredicate() |
boolean |
isComplete() |
Atom.RETURN_SET_PREDICATE |
setPredicate(Predicate predicate)
Changes the predicate of the atom.
|
clone, equals, getAtoms, getPredicateCls, getPredicates, hashCode, isLiteral
getSignature
java.lang.String getName()
Predicate getPredicate()
Atom.RETURN_SET_PREDICATE setPredicate(Predicate predicate)
predicate
- void addArgument(Term<?> arg) throws LanguageException
arg
- The next argumentLanguageException
- If the language does not support
arguments for their constructs.java.util.List<? extends Term<?>> getArguments()
boolean isComplete()