rules
Class Junct

java.lang.Object
  rules.Formula
      rules.Junct

All Implemented Interfaces:

java.lang.Cloneable

public class Junct

extends Formula

Field Summary

static int	AND
static int	NOT
static int	OR

Constructor Summary

Junct()

Junct(int o, Formula f1, Formula f2)

Junct(int o, java.lang.String b1, java.lang.String b2, Lang l)

Junct(java.lang.String input, Lang l)

Method Summary

int	actualSize()
boolean	equals(Junct other, Subs s)
Formula	getBody1()
Formula	getBody2()
java.util.Set	getLits()
java.util.Set	getPreds()
boolean	hasFreeVars()
boolean	hasFreeVars(Subs s)
boolean	isFalseIn(World w)
boolean	isFalseIn(World w, Subs s)
boolean	isTrueIn(World w)
boolean	isTrueIn(World w, Subs s)
java.lang.String	toString()

Methods inherited from class rules.Formula

equals, getFuns, main, makeFormula, setFunConcepts

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

NOT

public static int NOT

AND

public static int AND

OR

public static int OR

Constructor Detail

Junct

public Junct()

Junct

public Junct(int o,
             java.lang.String b1,
             java.lang.String b2,
             Lang l)

Junct

public Junct(int o,
             Formula f1,
             Formula f2)

Junct

public Junct(java.lang.String input,
             Lang l)

Method Detail

equals

public boolean equals(Junct other,
                      Subs s)

isTrueIn

public boolean isTrueIn(World w)

Overrides:

isTrueIn in class Formula

isTrueIn

public boolean isTrueIn(World w,
                        Subs s)

Overrides:

isTrueIn in class Formula

hasFreeVars

public boolean hasFreeVars()

Overrides:

hasFreeVars in class Formula

hasFreeVars

public boolean hasFreeVars(Subs s)

Overrides:

hasFreeVars in class Formula

isFalseIn

public boolean isFalseIn(World w,
                         Subs s)

Overrides:

isFalseIn in class Formula

isFalseIn

public boolean isFalseIn(World w)

Overrides:

isFalseIn in class Formula

toString

public java.lang.String toString()

Overrides:

toString in class Formula

getPreds

public java.util.Set getPreds()

Overrides:

getPreds in class Formula

getLits

public java.util.Set getLits()

Overrides:

getLits in class Formula

getBody1

public Formula getBody1()

getBody2

public Formula getBody2()

actualSize

public int actualSize()

Overrides:

actualSize in class Formula