Package edu.uky.ai.logic

Interface MutableState

All Superinterfaces:

Cloneable, Iterable<Atom>, State

All Known Implementing Classes:

HashState

public interface MutableState
extends State

A state which can be modified.

Author:

Stephen G. Ware

Method Summary

Modifier and Type	Method	Description
void	add(Atom atom)	Makes a new atom true in this state.
void	remove(Atom atom)	Makes a new atom false in this state.

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

Methods inherited from interface edu.uky.ai.logic.State

contains, toProposition

Method Details

add

void add(Atom atom)

Makes a new atom true in this state.

Parameters:

atom - the atom to make true

remove

void remove(Atom atom)

Makes a new atom false in this state.

Parameters:

atom - the atom to make false