Modifier and Type | Method and Description |
---|---|
Atom.RETURN_SET_PREDICATE |
LdoArgument.setPredicate(Predicate predicate) |
Modifier and Type | Method and Description |
---|---|
static Atom.RETURN_SET_PREDICATE |
Atom.AtomImpl.implSetPredicate(Predicate old,
Predicate newer,
java.util.List<Term<?>> arguments) |
Atom.RETURN_SET_PREDICATE |
Atom.setPredicate(Predicate predicate)
Changes the predicate of the atom.
|
static Atom.RETURN_SET_PREDICATE |
Atom.RETURN_SET_PREDICATE.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static Atom.RETURN_SET_PREDICATE[] |
Atom.RETURN_SET_PREDICATE.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
Atom.RETURN_SET_PREDICATE |
FOLAtom.setPredicate(Predicate newer) |
Modifier and Type | Method and Description |
---|---|
Atom.RETURN_SET_PREDICATE |
Proposition.setPredicate(Predicate predicate) |
Modifier and Type | Method and Description |
---|---|
Atom.RETURN_SET_PREDICATE |
DLPNeg.setPredicate(Predicate predicate) |
Atom.RETURN_SET_PREDICATE |
DLPAtom.setPredicate(Predicate predicate) |