Class Atom.AtomImpl
java.lang.Object
org.tweetyproject.logics.commons.syntax.interfaces.Atom.AtomImpl
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionstatic Atom.RETURN_SET_PREDICATE
implSetPredicate
(Predicate old, Predicate newer, List<Term<?>> arguments) Return set predicate
-
Constructor Details
-
AtomImpl
public AtomImpl()
-
-
Method Details
-
implSetPredicate
public static Atom.RETURN_SET_PREDICATE implSetPredicate(Predicate old, Predicate newer, List<Term<?>> arguments) Return set predicate- Parameters:
old
- oldnewer
- newerarguments
- arguments- Returns:
- set predicate
-