theoremprover.LPredicate Class Reference

Inheritance diagram for theoremprover.LPredicate:

List of all members.

Public Member Functions
ArrayList	allPredicates (String str, int i, ArrayList v)
ABTheoremProver	asABPropositionalSentence ()
PropositionalTheoremProver	asPropositionalSentence ()
String	toString ()
Public Attributes
ArrayList	arguments
String	identifier
Package Functions
	LPredicate ()
	LPredicate (String str, ArrayList v)

---

Detailed Description

Definition at line 45 of file LPredicate.java.

---

Constructor & Destructor Documentation

theoremprover.LPredicate.LPredicate

(

)

[inline, package]

Definition at line 54 of file LPredicate.java.

theoremprover.LPredicate.LPredicate	(	String	str,
		ArrayList	v
	)		[inline, package]

Definition at line 60 of file LPredicate.java.

---

Member Function Documentation

ArrayList theoremprover.LPredicate.allPredicates	(	String	str,
		int	i,
		ArrayList	v
	)		[inline]

Reimplemented from theoremprover.LObject.

Definition at line 97 of file LPredicate.java.

ABTheoremProver theoremprover.LPredicate.asABPropositionalSentence

(

)

[inline]

Definition at line 91 of file LPredicate.java.

PropositionalTheoremProver theoremprover.LPredicate.asPropositionalSentence

(

)

[inline, virtual]

Implements theoremprover.LObject.

Definition at line 86 of file LPredicate.java.

String theoremprover.LPredicate.toString

(

)

[inline, virtual]

Implements theoremprover.LObject.

Definition at line 68 of file LPredicate.java.

---

Member Data Documentation

ArrayList theoremprover.LPredicate.arguments

Definition at line 49 of file LPredicate.java.

String theoremprover.LPredicate.identifier

Definition at line 50 of file LPredicate.java.

---

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

• LPredicate.java