Fact Class Reference

Inheritance diagram for Fact:

List of all members.

Public Member Functions
	Fact (String p, int id)
	Fact (AtomicFormula prop, int id)
int	getId ()
int	getLevel ()
void	setId (int id)
void	setLevel (int level)
Private Attributes
int	id
int	level
Static Private Attributes
static final long	serialVersionUID = -4463978711591817598L

---

Detailed Description

This class implements the internal representation of a fact for the graphplan planner.

Author:

Damien Pellier

Version:

1.0

Definition at line 43 of file Fact.java.

---

Constructor & Destructor Documentation

Fact.Fact	(	String	p,
		int	id
	)		[inline]

Create a new fact with a specified predicates and id.

Parameters:

p	the predicate of the fact.
id	the id of the fact.

Definition at line 67 of file Fact.java.

Fact.Fact	(	AtomicFormula	prop,
		int	id
	)		[inline]

Create a new fact with a specified proposition and id.

Parameters:

prop	the proposition of the fact.
id	the id of the fact.

Definition at line 79 of file Fact.java.

---

Member Function Documentation

int Fact.getId

(

)

[inline]

Returns the id of the fact.

Returns:

the id of the fact.

Definition at line 112 of file Fact.java.

int Fact.getLevel

(

)

[inline]

Returns the first level where the fact appear in the planning graph.

Returns:

the first level where the fact appear in the planning graph or -1 if the fact was yet in appeared.

Definition at line 94 of file Fact.java.

void Fact.setId

(

int

id

)

[inline]

Sets a new id to this fact.

Parameters:

id	the new id to set.

Definition at line 121 of file Fact.java.

void Fact.setLevel

(

int

level

)

[inline]

Sets the appearing level of the fact.

Parameters:

level

the level.

Definition at line 103 of file Fact.java.

---

Member Data Documentation

int Fact.id [private]

The id of the fact.

Definition at line 53 of file Fact.java.

int Fact.level [private]

The first level where the fact appear in the planning graph.

Definition at line 58 of file Fact.java.

final long Fact.serialVersionUID = -4463978711591817598L [static, private]

The serial version id of the class.

Definition at line 48 of file Fact.java.

---

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

• Fact.java