ai.planning.strips
Class ModelBasedState.SetModel

java.lang.Object
  extended by ai.planning.strips.ModelBasedState.SetModel
All Implemented Interfaces:
ModelBasedState.RelationModel, java.lang.Iterable<ai.krr.fol.Atom>
Enclosing class:
ModelBasedState

protected static class ModelBasedState.SetModel
extends java.lang.Object
implements ModelBasedState.RelationModel


Field Summary
protected  java.util.Set<ai.krr.fol.Atom> holding
           
 
Constructor Summary
protected ModelBasedState.SetModel()
           
 
Method Summary
 boolean add(ai.krr.fol.Atom atom)
           
 ModelBasedState.RelationModel clone()
           
 boolean entails(ai.krr.fol.Atom atom)
           
 boolean equals(ModelBasedState.RelationModel model)
           
 boolean equals(java.lang.Object obj)
           
 boolean falsifies(ai.krr.fol.Atom atom)
           
 int hashCode()
           
 java.util.Iterator<ai.krr.fol.Atom> iterator()
           
 boolean retract(ai.krr.fol.Atom atom)
           
 int size()
           
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

holding

protected java.util.Set<ai.krr.fol.Atom> holding
Constructor Detail

ModelBasedState.SetModel

protected ModelBasedState.SetModel()
Method Detail

clone

public ModelBasedState.RelationModel clone()
Specified by:
clone in interface ModelBasedState.RelationModel
Overrides:
clone in class java.lang.Object

size

public int size()
Specified by:
size in interface ModelBasedState.RelationModel

add

public boolean add(ai.krr.fol.Atom atom)
Specified by:
add in interface ModelBasedState.RelationModel

retract

public boolean retract(ai.krr.fol.Atom atom)
Specified by:
retract in interface ModelBasedState.RelationModel

entails

public boolean entails(ai.krr.fol.Atom atom)
Specified by:
entails in interface ModelBasedState.RelationModel

falsifies

public boolean falsifies(ai.krr.fol.Atom atom)
Specified by:
falsifies in interface ModelBasedState.RelationModel

iterator

public java.util.Iterator<ai.krr.fol.Atom> iterator()
Specified by:
iterator in interface java.lang.Iterable<ai.krr.fol.Atom>

equals

public boolean equals(java.lang.Object obj)
Overrides:
equals in class java.lang.Object

equals

public boolean equals(ModelBasedState.RelationModel model)
Specified by:
equals in interface ModelBasedState.RelationModel

hashCode

public int hashCode()
Overrides:
hashCode in class java.lang.Object