Uses of Class
model.AbstractOperator

Packages that use AbstractOperator

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

Uses of AbstractOperator in model

Subclasses of AbstractOperator in model

Modifier and Type	Class and Description
class	And This class represents and-clauses.
class	Not This class represents negative clauses.

Methods in model that return AbstractOperator

Modifier and Type	Method and Description
protected abstract AbstractOperator	AbstractOperator.create(List<Clause> operands) Generic constructor of sub-objects.
AbstractOperator	AbstractOperator.replaceVariables(SubstitutionSet s) Replaces all the variables in the clause according to the specified bindings.
AbstractOperator	AbstractOperator.standardizeVariablesApart(Hashtable<Variable,Variable> newVars) Standardizes the variables in order to be sure that there won't be any variable clashes.