Uses of Class
edu.uky.ai.logic.HashSubstitution

Packages that use HashSubstitution

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

Uses of HashSubstitution in edu.uky.ai.logic

Methods in edu.uky.ai.logic that return HashSubstitution

Modifier and Type	Method	Description
HashSubstitution	HashSubstitution.clone()

Constructors in edu.uky.ai.logic with parameters of type HashSubstitution

Modifier	Constructor	Description
protected	HashSubstitution(HashSubstitution toClone)	Constructs a new hash substitution which is a clone of the given substitution.