logic
Class Sentence

java.lang.Object
  logic.SymbolicObject
      logic.Sentence

All Implemented Interfaces:

java.lang.Cloneable

Direct Known Subclasses:

AtomicSentence, Connective, Effect, Identity, Negation, Precondition, Quantifier

public abstract class Sentence

extends SymbolicObject

Constructor Summary

Sentence()

Method Summary

java.lang.Object	clone()
boolean	containsDisjunction()
boolean	containsTerm(Term t)
abstract Sentence	eliminateExists()
abstract Sentence	eliminateForall(api.ProblemInstance p)
abstract Sentence	flatten()
abstract SList	getList()
SList	getSList()
java.lang.String	infoString()
int	initializeOccurrences(double bias)
boolean	isAdmissibleOutcome()
boolean	isAtomic()
boolean	isCompound()
boolean	isEquals()
boolean	isNegation()
boolean	isNegationOf(Sentence s)
boolean	isNotEquals()
boolean	isSymbol()
Sentence	negate() Return the negation of this sentence by applying deMorgan's law.
abstract Sentence	reconcileTypes(api.Domain d, api.ProblemInstance p)
Sentence	relativize(api.ProblemInstance p)
abstract Sentence	renameVariables()
boolean	symbolicMatch(java.lang.Object other)
static Sentence	toSentence(SList s)

Methods inherited from class logic.SymbolicObject

compareTo, copyData, debugString, equals, geq, getFirst, getFirstTerm, getName, getOccurrences, getProbability, getRest, getType, getTypeName, gt, isTyped, leq, lt, obtainVariables, setOccurrences, setProbability, setType, substitute, substituteVariable, symbolicSignature, toString, unify

Methods inherited from class java.lang.Object

finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Sentence

public Sentence()

Method Detail

clone

public java.lang.Object clone()

Overrides:

clone in class SymbolicObject

eliminateExists

public abstract Sentence eliminateExists()

eliminateForall

public abstract Sentence eliminateForall(api.ProblemInstance p)

flatten

public abstract Sentence flatten()

relativize

public Sentence relativize(api.ProblemInstance p)

initializeOccurrences

public int initializeOccurrences(double bias)

toSentence

public static Sentence toSentence(SList s)

isNegationOf

public boolean isNegationOf(Sentence s)

isNegation

public boolean isNegation()

negate

public Sentence negate()

Return the negation of this sentence by applying deMorgan's law.

isAtomic

public boolean isAtomic()

isNotEquals

public boolean isNotEquals()

isAdmissibleOutcome

public boolean isAdmissibleOutcome()

isEquals

public boolean isEquals()

getList

public abstract SList getList()

getSList

public SList getSList()

renameVariables

public abstract Sentence renameVariables()

reconcileTypes

public abstract Sentence reconcileTypes(api.Domain d,
                                        api.ProblemInstance p)

isCompound

public boolean isCompound()

Specified by:

isCompound in class SymbolicObject

isSymbol

public boolean isSymbol()

Specified by:

isSymbol in class SymbolicObject

infoString

public java.lang.String infoString()

Overrides:

infoString in class SymbolicObject

symbolicMatch

public boolean symbolicMatch(java.lang.Object other)

containsTerm

public boolean containsTerm(Term t)

containsDisjunction

public boolean containsDisjunction()