org.uacalc.eq

Class Equation

java.lang.Object

org.uacalc.eq.Equation

public class Equation
extends java.lang.Object

A class to represent equations, that is, pairs of terms.

Author:

ralph

Constructor Summary

Constructors

Constructor and Description
Equation(Term left, Term right)
Equation(Term left, Term right, java.util.List<Variable> vars)

Method Summary

Modifier and Type	Method and Description
int[]	findFailure(SmallAlgebra alg)
int[]	findFailure(SmallAlgebra alg, ProgressReport report) Check if this equation holds in alg, returning a place where it fails or null if it is true.
java.util.Map<Variable,java.lang.Integer>	findFailureMap(SmallAlgebra alg)
java.util.Map<Variable,java.lang.Integer>	findFailureMap(SmallAlgebra alg, ProgressReport report) Check if this equation holds in alg, returning the map from variables to ints where it fails or null if it is true.
java.util.Set<OperationSymbol>	getOperationSymbols()
java.util.List<Variable>	getVariableList()
Term	leftSide()
Term	rightSide()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Equation

public Equation(Term left,
                Term right)

Equation

public Equation(Term left,
                Term right,
                java.util.List<Variable> vars)

Method Detail

leftSide

public Term leftSide()

rightSide

public Term rightSide()

getVariableList

public java.util.List<Variable> getVariableList()

getOperationSymbols

public java.util.Set<OperationSymbol> getOperationSymbols()

findFailure

public int[] findFailure(SmallAlgebra alg)

findFailure

public int[] findFailure(SmallAlgebra alg,
                         ProgressReport report)

Check if this equation holds in alg, returning a place where it fails or null if it is true.

Parameters:

alg -

Returns:

findFailureMap

public java.util.Map<Variable,java.lang.Integer> findFailureMap(SmallAlgebra alg)

findFailureMap

public java.util.Map<Variable,java.lang.Integer> findFailureMap(SmallAlgebra alg,
                                                                ProgressReport report)

Check if this equation holds in alg, returning the map from variables to ints where it fails or null if it is true.

Parameters:

alg -

Returns:

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object