Uses of Class
net.sf.tweety.logics.commons.syntax.interfaces.Atom.RETURN_SET_PREDICATE
-
-
Uses of Atom.RETURN_SET_PREDICATE in net.sf.tweety.arg.dung.ldo.syntax
Methods in net.sf.tweety.arg.dung.ldo.syntax that return Atom.RETURN_SET_PREDICATE Modifier and Type Method Description Atom.RETURN_SET_PREDICATE
LdoArgument. setPredicate(Predicate predicate)
-
Uses of Atom.RETURN_SET_PREDICATE in net.sf.tweety.logics.commons.syntax.interfaces
Methods in net.sf.tweety.logics.commons.syntax.interfaces that return Atom.RETURN_SET_PREDICATE Modifier and Type Method 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. -
Uses of Atom.RETURN_SET_PREDICATE in net.sf.tweety.logics.fol.syntax
Methods in net.sf.tweety.logics.fol.syntax that return Atom.RETURN_SET_PREDICATE Modifier and Type Method Description Atom.RETURN_SET_PREDICATE
FolAtom. setPredicate(Predicate newer)
-
Uses of Atom.RETURN_SET_PREDICATE in net.sf.tweety.logics.pl.syntax
Methods in net.sf.tweety.logics.pl.syntax that return Atom.RETURN_SET_PREDICATE Modifier and Type Method Description Atom.RETURN_SET_PREDICATE
Proposition. setPredicate(Predicate predicate)
-
Uses of Atom.RETURN_SET_PREDICATE in net.sf.tweety.lp.asp.syntax
Methods in net.sf.tweety.lp.asp.syntax that return Atom.RETURN_SET_PREDICATE Modifier and Type Method Description Atom.RETURN_SET_PREDICATE
ASPAtom. setPredicate(Predicate newer)
Atom.RETURN_SET_PREDICATE
StrictNegation. setPredicate(Predicate predicate)
-