edu::tum::cs::srl::Database::Variable Class Reference

Inheritance diagram for edu::tum::cs::srl::Database::Variable:

[legend]

List of all members.

Public Member Functions
String	getPredicate ()
boolean	isBoolean ()
String	toString ()
	Variable (String functionName, String[] params, String value, RelationalModel model)
Package Attributes
RelationalModel	model

---

Detailed Description

Definition at line 626 of file Database.java.

---

Constructor & Destructor Documentation

edu::tum::cs::srl::Database::Variable::Variable	(	String	functionName,
		String[]	params,
		String	value,
		RelationalModel	model
	)			[inline]

Definition at line 630 of file Database.java.

---

Member Function Documentation

String edu::tum::cs::srl::Database::Variable::getPredicate

(

)

[inline, virtual]

gets the predicate representation that corresponds to the assignment of this variable, i.e. for a(x)=v, return a(x,v)

Returns:

Implements edu::tum::cs::srl::AbstractVariable.

Definition at line 635 of file Database.java.

boolean edu::tum::cs::srl::Database::Variable::isBoolean

(

)

[inline, virtual]

Implements edu::tum::cs::srl::AbstractVariable.

Definition at line 642 of file Database.java.

String edu::tum::cs::srl::Database::Variable::toString

(

)

[inline]

Reimplemented from edu::tum::cs::srl::AbstractVariable.

Definition at line 647 of file Database.java.

---

Member Data Documentation

RelationalModel edu::tum::cs::srl::Database::Variable::model [package]

Definition at line 628 of file Database.java.

---

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

• Database.java