logic
Class ProbabilisticOutcome

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

All Implemented Interfaces:

java.lang.Cloneable

public class ProbabilisticOutcome

extends Effect

Field Summary

protected SList

_s

Constructor Summary

ProbabilisticOutcome()

ProbabilisticOutcome(SList s)

Method Summary

void	add(Sentence s)
void	addOutcome(Sentence s)
java.lang.Object	clone()
boolean	containsDisjunction()
void	cross(Sentence addme)
Sentence	eliminateExists()
Sentence	eliminateForall(api.ProblemInstance p)
boolean	equals(java.lang.Object other)
Sentence	flatten()
SList	getList()
Sentence	getOutcome(int i)
Sentence	gets(int i)
java.lang.String	infoString()
boolean	isAdmissibleOutcome()
boolean	isEmpty()
void	normalize()
Sentence	reconcileTypes(api.Domain d, api.ProblemInstance p)
Sentence	sample(double rand)
int	sampleIndex(double rand)
int	size()
SymbolicObject	substitute(Substitution sub)
SymbolicObject	substituteVariable(Variable oldVar, Term newVar)
java.lang.String	toString()
double	totalMass()

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, 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

_s

protected SList _s

Constructor Detail

ProbabilisticOutcome

public ProbabilisticOutcome()

ProbabilisticOutcome

public ProbabilisticOutcome(SList s)

Method Detail

clone

public java.lang.Object clone()

Overrides:

clone in class Sentence

add

public void add(Sentence s)

size

public int size()

gets

public Sentence gets(int i)

getOutcome

public Sentence getOutcome(int i)

addOutcome

public void addOutcome(Sentence s)

isEmpty

public boolean isEmpty()

cross

public void cross(Sentence addme)

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

isAdmissibleOutcome

public boolean isAdmissibleOutcome()

Overrides:

isAdmissibleOutcome 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

sampleIndex

public int sampleIndex(double rand)

sample

public Sentence sample(double rand)

containsDisjunction

public boolean containsDisjunction()

Overrides:

containsDisjunction in class Sentence

totalMass

public double totalMass()

normalize

public void normalize()