Uses of Interface
model.Unifiable

Packages that use Unifiable

Package	Description
controller.syntax	This package is the syntax package of the controller package.
model	This package is the model package of the model-view-controller (MVC) pattern.

Uses of Unifiable in controller.syntax

Methods in controller.syntax that return Unifiable

Modifier and Type	Method and Description
Unifiable	JLPSSyntaxParser.unifiable()

Methods in controller.syntax that return types with arguments of type Unifiable

Modifier and Type	Method and Description
ArrayList<Unifiable>	JLPSSyntaxParser.parameters()

Uses of Unifiable in model

Classes in model that implement Unifiable

Modifier and Type	Class and Description
class	Constant This class represents constants or values.
class	SimpleSentence This class represents predicates.
class	Variable This class represents variables.

Fields in model declared as Unifiable

Modifier and Type	Field and Description
(package private) Unifiable	Equal.operand1
private Unifiable	Arithmetic.operand1
(package private) Unifiable	Equal.operand2
private Unifiable	Arithmetic.operand2

Fields in model with type parameters of type Unifiable

Modifier and Type	Field and Description
private Map<Variable,Unifiable>	SubstitutionSet.bindings
private List<Unifiable>	SimpleSentence.terms

Methods in model that return Unifiable

Modifier and Type	Method and Description
Unifiable	SubstitutionSet.getBinding(Variable v) Gets the binding of the specified variable.
Unifiable	Equal.getOperand1() Gets the left operand of the equal sentence.
Unifiable	Arithmetic.getOperand1() Gets the left operand of the arithmetic expression.
Unifiable	Equal.getOperand2() Gets the right operand of the equal sentence.
Unifiable	Arithmetic.getOperand2() Gets the right operand of the arithmetic expression.
Unifiable	SimpleSentence.getTerm(int index) Gets the term at the specified index.

Methods in model with parameters of type Unifiable

Modifier and Type	Method and Description
void	SubstitutionSet.add(Variable v, Unifiable expr) Adds the specified binding to the substitution set.
boolean	FactSet.isTrue(Unifiable fact) Checks if the specified fact can be made true in the set.
void	FactSet.removeFacts(Unifiable fact) Removes the fact specified in the parameter.
SubstitutionSet	Variable.unify(Unifiable expr, SubstitutionSet s) Unifies the variable with the specified expr expression given the bindings s.
SubstitutionSet	Unifiable.unify(Unifiable expr, SubstitutionSet s) Unifies the expression with the specified expr expression given the bindings s.
SubstitutionSet	SimpleSentence.unify(Unifiable expr, SubstitutionSet s) Unifies the simple sentence with the specified expr expression given the bindings s.
SubstitutionSet	Constant.unify(Unifiable expr, SubstitutionSet s) Unifies the constant with the specified expr expression given the bindings s.

Constructors in model with parameters of type Unifiable

Constructor and Description
Arithmetic(Unifiable operand1, String symbol, Unifiable operand2) Constructor of the class
Equal(Unifiable operand1, Unifiable operand2) Constructor of the class
SimpleSentence(Constant predicateName, Unifiable... args) Constructor of the class.

Constructor parameters in model with type arguments of type Unifiable

Constructor and Description
SimpleSentence(List<Unifiable> args) Constructor of the class.