rules
Class Formula

java.lang.Object
  rules.Formula

All Implemented Interfaces:

java.lang.Cloneable

Direct Known Subclasses:

Junct, Lit, Quant, StarPlus

public class Formula

extends java.lang.Object

implements java.lang.Cloneable

Constructor Summary

Formula()

Method Summary

int	actualSize()
boolean	equals(Formula other, Subs s)
java.util.Set	getFuns()
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)
static void	main(java.lang.String[] args)
static Formula	makeFormula(java.lang.String p, Lang l)
void	setFunConcepts(Lang l)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Formula

public Formula()

Method Detail

makeFormula

public static Formula makeFormula(java.lang.String p,
                                  Lang l)

equals

public boolean equals(Formula other,
                      Subs s)

setFunConcepts

public void setFunConcepts(Lang l)

isTrueIn

public boolean isTrueIn(World w)

isTrueIn

public boolean isTrueIn(World w,
                        Subs s)

hasFreeVars

public boolean hasFreeVars()

hasFreeVars

public boolean hasFreeVars(Subs s)

isFalseIn

public boolean isFalseIn(World w,
                         Subs s)

isFalseIn

public boolean isFalseIn(World w)

actualSize

public int actualSize()

getLits

public java.util.Set getLits()

getPreds

public java.util.Set getPreds()

getFuns

public java.util.Set getFuns()

toString

public java.lang.String toString()

main

public static void main(java.lang.String[] args)