Uses of Enum
org.tweetyproject.logics.commons.syntax.interfaces.Atom.RETURN_SET_PREDICATE
Package
Description
-
Uses of Atom.RETURN_SET_PREDICATE in org.tweetyproject.arg.dung.ldo.syntax
-
Uses of Atom.RETURN_SET_PREDICATE in org.tweetyproject.logics.commons.syntax.interfaces
Modifier and TypeMethodDescriptionstatic Atom.RETURN_SET_PREDICATE
Atom.AtomImpl.implSetPredicate
(Predicate old, Predicate newer, List<Term<?>> arguments) Atom.setPredicate
(Predicate predicate) Changes the predicate of the atom.static Atom.RETURN_SET_PREDICATE
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 org.tweetyproject.logics.fol.syntax
-
Uses of Atom.RETURN_SET_PREDICATE in org.tweetyproject.logics.pl.syntax
-
Uses of Atom.RETURN_SET_PREDICATE in org.tweetyproject.lp.asp.syntax
Modifier and TypeMethodDescriptionASPAtom.setPredicate
(Predicate newer) StrictNegation.setPredicate
(Predicate predicate)