logic
Class ConditionalOutcome

java.lang.Object
  logic.SymbolicObject
      logic.Sentence
          logic.Effect
              logic.ConditionalOutcome

All Implemented Interfaces:

java.lang.Cloneable

public class ConditionalOutcome

extends Effect

Field Summary

protected Sentence	_s
protected Sentence	_when

Constructor Summary

ConditionalOutcome(Sentence w, Sentence e)

Method Summary

java.lang.Object	clone()
boolean	containsDisjunction()
Sentence	eliminateExists()
Sentence	eliminateForall(api.ProblemInstance p)
boolean	equals(java.lang.Object other)
Sentence	flatten()
SList	getList()
java.lang.String	infoString()
Sentence	reconcileTypes(api.Domain d, api.ProblemInstance p)
SymbolicObject	substitute(Substitution sub)
SymbolicObject	substituteVariable(Variable oldVar, Term newVar)
java.lang.String	toString()

Methods inherited from class logic.Effect

compareTo, getFirst, getFirstTerm, getName, getRest, negate, obtainVariables, renameVariables, symbolicMatch, symbolicSignature, unify

Methods inherited from class logic.Sentence

containsTerm, getSList, initializeOccurrences, isAdmissibleOutcome, isAtomic, isCompound, isEquals, isNegation, isNegationOf, isNotEquals, isSymbol, relativize, toSentence

Methods inherited from class logic.SymbolicObject

copyData, debugString, geq, getOccurrences, getProbability, getType, getTypeName, gt, isTyped, leq, lt, setOccurrences, setProbability, setType

Methods inherited from class java.lang.Object

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

Field Detail

_when

protected Sentence _when

_s

protected Sentence _s

Constructor Detail

ConditionalOutcome

public ConditionalOutcome(Sentence w,
                          Sentence e)

Method Detail

clone

public java.lang.Object clone()

Overrides:

clone in class Sentence

getList

public SList getList()

Specified by:

getList in class Sentence

toString

public java.lang.String toString()

Specified by:

toString in class SymbolicObject

infoString

public java.lang.String infoString()

Overrides:

infoString in class Sentence

equals

public boolean equals(java.lang.Object other)

Specified by:

equals in class SymbolicObject

substituteVariable

public SymbolicObject substituteVariable(Variable oldVar,
                                         Term newVar)

Specified by:

substituteVariable in class SymbolicObject

substitute

public SymbolicObject substitute(Substitution sub)

Specified by:

substitute in class SymbolicObject

eliminateExists

public Sentence eliminateExists()

Specified by:

eliminateExists in class Sentence

eliminateForall

public Sentence eliminateForall(api.ProblemInstance p)

Specified by:

eliminateForall in class Sentence

flatten

public Sentence flatten()

Specified by:

flatten in class Sentence

reconcileTypes

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

Specified by:

reconcileTypes in class Sentence

containsDisjunction

public boolean containsDisjunction()

Overrides:

containsDisjunction in class Sentence