aima.core.probability.proposition

Interface SentenceProposition

All Superinterfaces:

Proposition

All Known Subinterfaces:

BinarySentenceProposition, DerivedProposition, UnarySentenceProposition

All Known Implementing Classes:

AbstractDerivedProposition, ConjunctiveProposition, DisjunctiveProposition, EquivalentProposition, IntegerSumProposition, NotProposition, SubsetProposition

public interface SentenceProposition
extends Proposition

Indicator interface used to identify Sentence Propositions.

Author:

Ciaran O'Reilly

Method Summary

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

getScope, getUnboundScope, holds