aima.core.probability.proposition

Class AbstractDerivedProposition

java.lang.Object

aima.core.probability.proposition.AbstractProposition

aima.core.probability.proposition.AbstractDerivedProposition

All Implemented Interfaces:

DerivedProposition, Proposition, SentenceProposition

Direct Known Subclasses:

EquivalentProposition, IntegerSumProposition, SubsetProposition

public abstract class AbstractDerivedProposition
extends AbstractProposition
implements DerivedProposition

Constructor Summary

Constructors

Constructor and Description
AbstractDerivedProposition(java.lang.String name)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getDerivedName()

Methods inherited from class aima.core.probability.proposition.AbstractProposition

addScope, addScope, addUnboundScope, addUnboundScope, getScope, getUnboundScope, holds

Methods inherited from class java.lang.Object

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

Methods inherited from interface aima.core.probability.proposition.Proposition

getScope, getUnboundScope, holds

Constructor Detail

AbstractDerivedProposition

public AbstractDerivedProposition(java.lang.String name)

Method Detail

getDerivedName

public java.lang.String getDerivedName()

Specified by:

getDerivedName in interface DerivedProposition