ai.planning.strips
Interface ModelBasedState.RelationModel

All Superinterfaces:

java.lang.Iterable<ai.krr.fol.Atom>

All Known Implementing Classes:

ModelBasedState.SetModel

Enclosing class:

ModelBasedState

public static interface ModelBasedState.RelationModel
extends java.lang.Iterable<ai.krr.fol.Atom>

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	falsifies(ai.krr.fol.Atom atom)
boolean	retract(ai.krr.fol.Atom atom)
int	size()

Methods inherited from interface java.lang.Iterable

iterator

Method Detail

clone

ModelBasedState.RelationModel clone()

size

int size()

add

boolean add(ai.krr.fol.Atom atom)

retract

boolean retract(ai.krr.fol.Atom atom)

entails

boolean entails(ai.krr.fol.Atom atom)

falsifies

boolean falsifies(ai.krr.fol.Atom atom)

equals

boolean equals(ModelBasedState.RelationModel model)