Uses of Interface
edu.uky.ai.logic.MutableState

Packages that use MutableState

Package	Description
edu.uky.ai.logic	Contains objects for representing logical formulas.

Uses of MutableState in edu.uky.ai.logic

Classes in edu.uky.ai.logic that implement MutableState

Modifier and Type	Class	Description
class	HashState	An implementation of MutableState that uses a HashMap to keep track of which atoms are true.

Methods in edu.uky.ai.logic with parameters of type MutableState

Modifier and Type	Method	Description
default void	Atom.makeTrue(MutableState state)
void	Conjunction.makeTrue(MutableState state)
void	Disjunction.makeTrue(MutableState state)
void	Implication.makeTrue(MutableState state)
void	NegatedAtom.makeTrue(MutableState state)
void	Negation.makeTrue(MutableState state)
void	Proposition.makeTrue(MutableState state)	Modifies the given state object to make this proposition true.