aima.core.probability.proposition

Interface DerivedProposition

All Superinterfaces:

Proposition, SentenceProposition

All Known Implementing Classes:

AbstractDerivedProposition, EquivalentProposition, IntegerSumProposition, SubsetProposition

public interface DerivedProposition
extends SentenceProposition

Method Summary

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

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

getScope, getUnboundScope, holds

Method Detail

getDerivedName

java.lang.String getDerivedName()