theoremprover.PropositionalRule Class Reference

List of all members.

Public Member Functions
void	addToAntecedence (Object p)
ArrayList	antecedence ()
void	counter (int i)
int	counter ()
void	succedence (Object p)
Object	succedence ()
String	toString ()
Protected Attributes
ArrayList	antecedence
int	counter
Object	succedence
Package Functions
	PropositionalRule ()

---

Detailed Description

Definition at line 44 of file PropositionalRule.java.

---

Constructor & Destructor Documentation

theoremprover.PropositionalRule.PropositionalRule

(

)

[inline, package]

Definition at line 55 of file PropositionalRule.java.

---

Member Function Documentation

void theoremprover.PropositionalRule.addToAntecedence

(

Object

p

)

[inline]

Definition at line 82 of file PropositionalRule.java.

ArrayList theoremprover.PropositionalRule.antecedence

(

)

[inline]

Definition at line 87 of file PropositionalRule.java.

void theoremprover.PropositionalRule.counter

(

int

i

)

[inline]

Definition at line 92 of file PropositionalRule.java.

int theoremprover.PropositionalRule.counter

(

)

[inline]

Definition at line 97 of file PropositionalRule.java.

void theoremprover.PropositionalRule.succedence

(

Object

p

)

[inline]

Definition at line 102 of file PropositionalRule.java.

Object theoremprover.PropositionalRule.succedence

(

)

[inline]

Definition at line 107 of file PropositionalRule.java.

String theoremprover.PropositionalRule.toString

(

)

[inline]

Definition at line 64 of file PropositionalRule.java.

---

Member Data Documentation

ArrayList theoremprover.PropositionalRule.antecedence [protected]

Definition at line 49 of file PropositionalRule.java.

int theoremprover.PropositionalRule.counter [protected]

Definition at line 51 of file PropositionalRule.java.

Object theoremprover.PropositionalRule.succedence [protected]

Definition at line 50 of file PropositionalRule.java.

---

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

• PropositionalRule.java