|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--uk.ac.man.cs.rainbow.wvmc.FormulaSet
A set of formulae organised as a linked list.
Constructor Summary | |
protected |
FormulaSet(Formula head,
FormulaSet tail)
Create a new linked list node. |
Method Summary | |
FormulaSet |
add(Formula f)
Add the given formula to this set. |
FormulaSet |
add(FormulaSet set)
Add the given set of formulae to this set. |
static FormulaSet |
add(FormulaSet set,
Formula f)
Add the given formula to the given set. |
static FormulaSet |
add(FormulaSet one,
FormulaSet two)
Add the given set of formulae to the given set. |
static boolean |
equal(FormulaSet set1,
FormulaSet set2)
Equality between sets of formulae. |
Formula |
getHead()
The head formula of this set. |
int |
getSize()
The number of elements in this set. |
static int |
getSize(FormulaSet set)
The number of elements in the given set. |
FormulaSet |
getTail()
The tail of this set. |
boolean |
present(Formula f)
Is the given formula present in this set? |
static boolean |
present(FormulaSet set,
Formula f)
Is the given formula present in the given set? |
static void |
print(FormulaSet set)
Print a set to System.out. |
static void |
print(FormulaSet set,
PrintStream p)
Print a set to the given stream. |
String |
toString()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
protected FormulaSet(Formula head, FormulaSet tail)
head
- The formula in this node of the list.tail
- The rest of the list.Method Detail |
public boolean present(Formula f)
f
- The formula to search for.public static boolean present(FormulaSet set, Formula f)
set
- Search this set...f
- ...for this formula.public FormulaSet add(Formula f)
f
- The formula to add.public static FormulaSet add(FormulaSet set, Formula f)
set
- The set to add to.f
- The formula to add.public FormulaSet add(FormulaSet set)
set
- The set of formulae to add.public static FormulaSet add(FormulaSet one, FormulaSet two)
one
- The set of formulae to add to.two
- The set of formulae to add.public int getSize()
public static int getSize(FormulaSet set)
public Formula getHead()
public FormulaSet getTail()
public static void print(FormulaSet set)
public static void print(FormulaSet set, PrintStream p)
public static boolean equal(FormulaSet set1, FormulaSet set2)
public String toString()
toString
in class Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |