org.jscience.mathematics.axiomatic
Class WFF

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