theoremprover.Assumption Class Reference

Inheritance diagram for theoremprover.Assumption:

List of all members.

Public Member Functions
void	addAntecedence (PropositionalRule r)
TreeSet	collectAllAssumptions ()
TreeSet	collectAllAssumptions (TreeSet assumptions)
ArrayList	collectAssumptions ()
ArrayList	collectAssumptions (ArrayList assumptions)
void	correctLabels ()
ArrayList	getAntecedence ()
Object	getIdentifier ()
int	getIntTag ()
boolean	getLabel ()
boolean	isAssumption ()
void	propagateFalse ()
ArrayList	propagateFalse (ArrayList v)
void	propagateTrue ()
void	setIdentifier (Object id)
void	setIntTag (int tag)
void	setLabel (boolean l)
String	toString ()
Public Attributes
ArrayList	antecedence
Object	identifier
int	intTag
boolean	label
Object	objTag
Package Functions
	Assumption ()

---

Detailed Description

Definition at line 43 of file Assumption.java.

---

Constructor & Destructor Documentation

theoremprover.Assumption.Assumption

(

)

[inline, package]

Definition at line 58 of file Assumption.java.

---

Member Function Documentation

void theoremprover.Assumption.addAntecedence

(

PropositionalRule

r

)

[inline]

Definition at line 110 of file Assumption.java.

TreeSet theoremprover.Assumption.collectAllAssumptions

(

)

[inline]

Reimplemented in theoremprover.Proposition.

Definition at line 198 of file Assumption.java.

TreeSet theoremprover.Assumption.collectAllAssumptions

(

TreeSet

assumptions

)

[inline]

Reimplemented in theoremprover.Proposition.

Definition at line 203 of file Assumption.java.

ArrayList theoremprover.Assumption.collectAssumptions

(

)

[inline]

Reimplemented in theoremprover.Proposition.

Definition at line 186 of file Assumption.java.

ArrayList theoremprover.Assumption.collectAssumptions

(

ArrayList

assumptions

)

[inline]

Reimplemented in theoremprover.Proposition.

Definition at line 191 of file Assumption.java.

void theoremprover.Assumption.correctLabels

(

)

[inline]

Reimplemented in theoremprover.Proposition.

Definition at line 181 of file Assumption.java.

ArrayList theoremprover.Assumption.getAntecedence

(

)

[inline]

Definition at line 89 of file Assumption.java.

Object theoremprover.Assumption.getIdentifier

(

)

[inline]

Definition at line 84 of file Assumption.java.

int theoremprover.Assumption.getIntTag

(

)

[inline]

Definition at line 67 of file Assumption.java.

boolean theoremprover.Assumption.getLabel

(

)

[inline]

Definition at line 94 of file Assumption.java.

boolean theoremprover.Assumption.isAssumption

(

)

[inline]

Reimplemented in theoremprover.Proposition.

Definition at line 127 of file Assumption.java.

void theoremprover.Assumption.propagateFalse

(

)

[inline]

Definition at line 152 of file Assumption.java.

ArrayList theoremprover.Assumption.propagateFalse

(

ArrayList

v

)

[inline]

Reimplemented in theoremprover.Proposition.

Definition at line 163 of file Assumption.java.

void theoremprover.Assumption.propagateTrue

(

)

[inline]

Definition at line 134 of file Assumption.java.

void theoremprover.Assumption.setIdentifier

(

Object

id

)

[inline]

Definition at line 120 of file Assumption.java.

void theoremprover.Assumption.setIntTag

(

int

tag

)

[inline]

Definition at line 71 of file Assumption.java.

void theoremprover.Assumption.setLabel

(

boolean

l

)

[inline]

Definition at line 115 of file Assumption.java.

String theoremprover.Assumption.toString

(

)

[inline]

Definition at line 99 of file Assumption.java.

---

Member Data Documentation

ArrayList theoremprover.Assumption.antecedence

Definition at line 50 of file Assumption.java.

Object theoremprover.Assumption.identifier

Definition at line 48 of file Assumption.java.

int theoremprover.Assumption.intTag

Definition at line 54 of file Assumption.java.

boolean theoremprover.Assumption.label

Definition at line 49 of file Assumption.java.

Object theoremprover.Assumption.objTag

Definition at line 53 of file Assumption.java.

---

The documentation for this class was generated from the following file:

• Assumption.java