theoremprover.PropositionInterface Interface Reference

Inheritance diagram for theoremprover.PropositionInterface:

List of all members.

Public Member Functions
void	activeRule (PropositionalRule r)
PropositionalRule	activeRule ()
void	addSupport (PropositionalRule r)
void	correctLabels ()
boolean	getLabel ()
ArrayList	propagateFalse (ArrayList v)
void	propagateTrue ()
void	removeSupport (PropositionalRule r)
void	setLabel (boolean l)
boolean	updateActiveRule ()

---

Detailed Description

Definition at line 38 of file PropositionInterface.java.

---

Member Function Documentation

void theoremprover.PropositionInterface.activeRule

(

PropositionalRule

r

)

Implemented in theoremprover.Proposition.

PropositionalRule theoremprover.PropositionInterface.activeRule

(

)

Implemented in theoremprover.Proposition.

void theoremprover.PropositionInterface.addSupport

(

PropositionalRule

r

)

Implemented in theoremprover.Proposition.

void theoremprover.PropositionInterface.correctLabels

(

)

Implemented in theoremprover.Proposition.

boolean theoremprover.PropositionInterface.getLabel

(

)

ArrayList theoremprover.PropositionInterface.propagateFalse

(

ArrayList

v

)

Implemented in theoremprover.Proposition.

void theoremprover.PropositionInterface.propagateTrue

(

)

void theoremprover.PropositionInterface.removeSupport

(

PropositionalRule

r

)

Implemented in theoremprover.Proposition.

void theoremprover.PropositionInterface.setLabel

(

boolean

l

)

boolean theoremprover.PropositionInterface.updateActiveRule

(

)

Implemented in theoremprover.Proposition.

---

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

• PropositionInterface.java