org.jscience.mathematics.axiomatic
Class DistinctVariables

java.lang.Object
  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!