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

Equation(Term left, Term right)

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

Method Summary

int[]	findFailure(SmallAlgebra alg) 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) 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.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()

findFailure

public int[] findFailure(SmallAlgebra alg)

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)

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