edu::tum::cs::rpt::RPT2Logic::ObjectType Class Reference

Public Member Functions
String	getPrecondition (Set< ObjectType > excludedReferences)
String	getPrecondition ()
void	setVarName (String varName)
Public Attributes
String	objName
String	varName
Protected Attributes
String	precondition
ObjectType[]	referencedObjects
Package Functions
	ObjectType (String objName, String varName, String precondition, ObjectType[] referencedRelations)

Detailed Description

Class that represents an object type and associated information relative to a core object

Definition at line 366 of file RPT2Logic.java.

edu::tum::cs::rpt::RPT2Logic::ObjectType::ObjectType	(	String	objName,
		String	varName,
		String	precondition,
		ObjectType[]	referencedRelations
	)			`[inline, package]`

Parameters:

	objName	the name of the object to which a relation exists
	varName	the variable name that should be used for this object in the logical formulas that are generated
	precondition	a precondition/precondition (logical formula) that links the core object to the related object; may be null
	referencedRelations	an array of other object types of which instances need to exist as an additional precondition, i.e. the precoditions of referenced object need to hold as well (recursion). This argument may be null if no other objects are referenced.