rules
Class Quant

java.lang.Object
  rules.Formula
      rules.Quant

All Implemented Interfaces:

java.lang.Cloneable

public class Quant

extends Formula

Field Summary

static int	EXISTS
static int	FORALL

Constructor Summary

Quant()

Quant(int q, Var v, Formula f)

Quant(int q, Var v, java.lang.String b, Lang l)

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

Method Summary

int	actualSize()
boolean	equals(Quant other, Subs s)
Formula	getBody()
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)
void	setFunConcepts(Lang l)
java.lang.String	toString()

Methods inherited from class rules.Formula

equals, getFuns, main, makeFormula

Methods inherited from class java.lang.Object

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

Field Detail

FORALL

public static int FORALL

EXISTS

public static int EXISTS

Constructor Detail

Quant

public Quant()

Quant

public Quant(int q,
             Var v,
             java.lang.String b,
             Lang l)

Quant

public Quant(int q,
             Var v,
             Formula f)

Quant

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

Method Detail

setFunConcepts

public void setFunConcepts(Lang l)

Overrides:

setFunConcepts in class Formula

equals

public boolean equals(Quant 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

getBody

public Formula getBody()

actualSize

public int actualSize()

Overrides:

actualSize in class Formula