net.sf.tweety.logics.commons.syntax.interfaces

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 and Description
AtomImpl()

Method Summary

Modifier and Type	Method and Description
static Atom.RETURN_SET_PREDICATE	implSetPredicate(Predicate old, Predicate newer, java.util.List<Term<?>> arguments)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AtomImpl

public AtomImpl()

Method Detail

implSetPredicate

public static Atom.RETURN_SET_PREDICATE implSetPredicate(Predicate old,
                                                         Predicate newer,
                                                         java.util.List<Term<?>> arguments)