org.jscience.mathematics.axiomatic
Class DistinctVariables

java.lang.Object
  extended by org.jscience.mathematics.axiomatic.DistinctVariables

public class DistinctVariables
extends java.lang.Object

DOCUMENT ME!


Constructor Summary
DistinctVariables()
           
 
Method Summary
 void add(int a, int b)
          DOCUMENT ME!
 void decrement(int offset)
          DOCUMENT ME!
 void increment(int offset)
          DOCUMENT ME!
 void recordSubstitution(int v, WFF sub)
          DOCUMENT ME!
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DistinctVariables

public DistinctVariables()
Method Detail

add

public void add(int a,
                int b)
DOCUMENT ME!

Parameters:
a - DOCUMENT ME!
b - DOCUMENT ME!

increment

public void increment(int offset)
DOCUMENT ME!

Parameters:
offset - DOCUMENT ME!

decrement

public void decrement(int offset)
DOCUMENT ME!

Parameters:
offset - DOCUMENT ME!

recordSubstitution

public void recordSubstitution(int v,
                               WFF sub)
DOCUMENT ME!

Parameters:
v - DOCUMENT ME!
sub - DOCUMENT ME!