org.jscience.mathematics.axiomatic
Class WFF

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

public final class WFF
extends java.lang.Object

DOCUMENT ME!


Field Summary
static byte A
          DOCUMENT ME!
static byte AND
          DOCUMENT ME!
static byte AND3
          DOCUMENT ME!
static int BANDWIDTH
          DOCUMENT ME!
static byte BI
          DOCUMENT ME!
static byte ELEMENT_OF
          DOCUMENT ME!
static byte EQUALS
          DOCUMENT ME!
static byte EXISTS
          DOCUMENT ME!
static byte IMPLIES
          DOCUMENT ME!
static byte NOT
          DOCUMENT ME!
static byte OR
          DOCUMENT ME!
static byte OR3
          DOCUMENT ME!
static byte SUBSTITUTION
          DOCUMENT ME!
static byte UNIVERSAL
          DOCUMENT ME!
 
Constructor Summary
WFF(java.io.DataInput in)
          Creates a new WFF object.
WFF(java.lang.String wff)
          Creates a new WFF object.
WFF(WFF original)
           
WFF(WFF left, WFF right)
           
 
Method Summary
 boolean contains(int m)
          DOCUMENT ME!
 void decreaseVariables(byte off)
          DOCUMENT ME!
 boolean equals(java.lang.Object obj)
          DOCUMENT ME!
 void generalize()
          DOCUMENT ME!
 int getImplicationCount()
          DOCUMENT ME!
 int getImplicationStreamCount()
          DOCUMENT ME!
 int getLength()
          DOCUMENT ME!
 byte getMaxVariable()
          DOCUMENT ME!
 int getNotCount()
          DOCUMENT ME!
 int getNotStreamCount()
          DOCUMENT ME!
 WFF getSubWFF(int start)
          DOCUMENT ME!
 byte getToken(int index)
          DOCUMENT ME!
 int getVariableCount(int v)
          DOCUMENT ME!
 int hashCode()
          DOCUMENT ME!
 void increaseVariables(byte off)
          DOCUMENT ME!
 boolean isDoubleNegation()
          DOCUMENT ME!
 boolean isEquivalence()
          DOCUMENT ME!
 boolean isImplication()
          DOCUMENT ME!
 void mergeHypotheses(WFF other)
          DOCUMENT ME!
 void normalize()
          DOCUMENT ME!
 void spew(java.lang.StringBuffer buf)
          DOCUMENT ME!
 WFF[] split()
          DOCUMENT ME!
 void store(java.io.DataOutput out)
          DOCUMENT ME!
 boolean substitute(byte m, WFF sub)
          DOCUMENT ME!
 void tighten()
          DOCUMENT ME!
 java.lang.String toString()
          DOCUMENT ME!
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

BANDWIDTH

public static int BANDWIDTH
DOCUMENT ME!


IMPLIES

public static final byte IMPLIES
DOCUMENT ME!

See Also:
Constant Field Values

NOT

public static final byte NOT
DOCUMENT ME!

See Also:
Constant Field Values

UNIVERSAL

public static final byte UNIVERSAL
DOCUMENT ME!

See Also:
Constant Field Values

BI

public static final byte BI
DOCUMENT ME!

See Also:
Constant Field Values

OR

public static final byte OR
DOCUMENT ME!

See Also:
Constant Field Values

AND

public static final byte AND
DOCUMENT ME!

See Also:
Constant Field Values

OR3

public static final byte OR3
DOCUMENT ME!

See Also:
Constant Field Values

AND3

public static final byte AND3
DOCUMENT ME!

See Also:
Constant Field Values

EQUALS

public static final byte EQUALS
DOCUMENT ME!

See Also:
Constant Field Values

ELEMENT_OF

public static final byte ELEMENT_OF
DOCUMENT ME!

See Also:
Constant Field Values

EXISTS

public static final byte EXISTS
DOCUMENT ME!

See Also:
Constant Field Values

SUBSTITUTION

public static final byte SUBSTITUTION
DOCUMENT ME!

See Also:
Constant Field Values

A

public static final byte A
DOCUMENT ME!

See Also:
Constant Field Values
Constructor Detail

WFF

public WFF(java.lang.String wff)
Creates a new WFF object.

Parameters:
wff - DOCUMENT ME!

WFF

public WFF(WFF original)

WFF

public WFF(WFF left,
           WFF right)

WFF

public WFF(java.io.DataInput in)
    throws java.io.IOException
Creates a new WFF object.

Parameters:
in - DOCUMENT ME!
Throws:
java.io.IOException - DOCUMENT ME!
Method Detail

mergeHypotheses

public void mergeHypotheses(WFF other)
DOCUMENT ME!

Parameters:
other - DOCUMENT ME!

getLength

public int getLength()
DOCUMENT ME!

Returns:
DOCUMENT ME!

split

public WFF[] split()
DOCUMENT ME!

Returns:
DOCUMENT ME!

getMaxVariable

public byte getMaxVariable()
DOCUMENT ME!

Returns:
DOCUMENT ME!

increaseVariables

public void increaseVariables(byte off)
DOCUMENT ME!

Parameters:
off - DOCUMENT ME!

decreaseVariables

public void decreaseVariables(byte off)
DOCUMENT ME!

Parameters:
off - DOCUMENT ME!

substitute

public boolean substitute(byte m,
                          WFF sub)
DOCUMENT ME!

Parameters:
m - DOCUMENT ME!
sub - DOCUMENT ME!
Returns:
DOCUMENT ME!

tighten

public void tighten()
DOCUMENT ME!


getSubWFF

public WFF getSubWFF(int start)
DOCUMENT ME!

Parameters:
start - DOCUMENT ME!
Returns:
DOCUMENT ME!

contains

public boolean contains(int m)
DOCUMENT ME!

Parameters:
m - DOCUMENT ME!
Returns:
DOCUMENT ME!

getToken

public byte getToken(int index)
DOCUMENT ME!

Parameters:
index - DOCUMENT ME!
Returns:
DOCUMENT ME!

normalize

public void normalize()
DOCUMENT ME!


spew

public void spew(java.lang.StringBuffer buf)
DOCUMENT ME!

Parameters:
buf - DOCUMENT ME!

getVariableCount

public int getVariableCount(int v)
DOCUMENT ME!

Parameters:
v - DOCUMENT ME!
Returns:
DOCUMENT ME!

getNotCount

public int getNotCount()
DOCUMENT ME!

Returns:
DOCUMENT ME!

getImplicationCount

public int getImplicationCount()
DOCUMENT ME!

Returns:
DOCUMENT ME!

getNotStreamCount

public int getNotStreamCount()
DOCUMENT ME!

Returns:
DOCUMENT ME!

getImplicationStreamCount

public int getImplicationStreamCount()
DOCUMENT ME!

Returns:
DOCUMENT ME!

generalize

public void generalize()
DOCUMENT ME!


toString

public java.lang.String toString()
DOCUMENT ME!

Overrides:
toString in class java.lang.Object
Returns:
DOCUMENT ME!

hashCode

public int hashCode()
DOCUMENT ME!

Overrides:
hashCode in class java.lang.Object
Returns:
DOCUMENT ME!

equals

public boolean equals(java.lang.Object obj)
DOCUMENT ME!

Overrides:
equals in class java.lang.Object
Parameters:
obj - DOCUMENT ME!
Returns:
DOCUMENT ME!

isEquivalence

public boolean isEquivalence()
DOCUMENT ME!

Returns:
DOCUMENT ME!

isDoubleNegation

public boolean isDoubleNegation()
DOCUMENT ME!

Returns:
DOCUMENT ME!

isImplication

public boolean isImplication()
DOCUMENT ME!

Returns:
DOCUMENT ME!

store

public void store(java.io.DataOutput out)
           throws java.io.IOException
DOCUMENT ME!

Parameters:
out - DOCUMENT ME!
Throws:
java.io.IOException - DOCUMENT ME!