rules
Class StarPlus

java.lang.Object
  rules.Formula
      rules.StarPlus

All Implemented Interfaces:

java.lang.Cloneable

public class StarPlus

extends Formula

Field Summary

static int	PLUS
static int	STAR

Constructor Summary

StarPlus()

StarPlus(int type, PLit l, Lang lang)

StarPlus(int type, java.lang.String b1, Lang l)

Method Summary

int	actualSize()
boolean	equals(StarPlus other, Subs s)
Lit	getLit()
java.util.Set	getLits()
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)
void	setFunConcepts(Lang l)
java.lang.String	toString()

Methods inherited from class rules.Formula

equals, getFuns, getPreds, makeFormula

Methods inherited from class java.lang.Object

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

Field Detail

STAR

public static int STAR

PLUS

public static int PLUS

Constructor Detail

StarPlus

public StarPlus()

StarPlus

public StarPlus(int type,
                java.lang.String b1,
                Lang l)

StarPlus

public StarPlus(int type,
                PLit l,
                Lang lang)

Method Detail

setFunConcepts

public void setFunConcepts(Lang l)

Overrides:

setFunConcepts in class Formula

equals

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

getLits

public java.util.Set getLits()

Overrides:

getLits in class Formula

getLit

public Lit getLit()

actualSize

public int actualSize()

Overrides:

actualSize in class Formula

main

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