Class Atom.AtomImpl
java.lang.Object
org.tweetyproject.logics.commons.syntax.interfaces.Atom.AtomImpl
- Enclosing interface:
- Atom
Gives common implementations for methods shared among atoms of different types.
- Author:
- Tim Janus
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionstatic Atom.RETURN_SET_PREDICATE
implSetPredicate
(Predicate old, Predicate newer, List<Term<?>> arguments)
-
Constructor Details
-
AtomImpl
public AtomImpl()
-
-
Method Details
-
implSetPredicate
public static Atom.RETURN_SET_PREDICATE implSetPredicate(Predicate old, Predicate newer, List<Term<?>> arguments)
-