Class Atom.AtomImpl
- java.lang.Object
-
- net.sf.tweety.logics.commons.syntax.interfaces.Atom.AtomImpl
-
- Enclosing interface:
- Atom
public static class Atom.AtomImpl extends java.lang.Object
Gives common implementations for methods shared among atoms of different types.- Author:
- Tim Janus
-
-
Constructor Summary
Constructors Constructor Description AtomImpl()
-
Method Summary
Modifier and Type Method Description static Atom.RETURN_SET_PREDICATE
implSetPredicate(Predicate old, Predicate newer, java.util.List<Term<?>> arguments)
-
-
-
Method Detail
-
implSetPredicate
public static Atom.RETURN_SET_PREDICATE implSetPredicate(Predicate old, Predicate newer, java.util.List<Term<?>> arguments)
-
-