LocalAssignment Struct Reference

#include <domain_transition_graph.h>

List of all members.

Public Member Functions
void	dump () const
	LocalAssignment (DomainTransitionGraph *_prev_dtg, int _local_var, double _value, condition_type _cond_type)
	LocalAssignment (DomainTransitionGraph *_prev_dtg, int _local_var, int _var, assignment_op _fop, condition_type _cond_type)
	LocalAssignment (istream &in)
Public Attributes
condition_type	cond_type
assignment_op	fop
int	local_var
DomainTransitionGraph *	prev_dtg
double	value
int	var

---

Detailed Description

Definition at line 29 of file search/domain_transition_graph.h.

---

Constructor & Destructor Documentation

LocalAssignment::LocalAssignment	(	DomainTransitionGraph *	_prev_dtg,
		int	_local_var,
		double	_value,
		condition_type	_cond_type
	)		[inline]

Definition at line 37 of file search/domain_transition_graph.h.

LocalAssignment::LocalAssignment	(	DomainTransitionGraph *	_prev_dtg,
		int	_local_var,
		int	_var,
		assignment_op	_fop,
		condition_type	_cond_type
	)		[inline]

Definition at line 42 of file search/domain_transition_graph.h.

LocalAssignment::LocalAssignment

(

istream &

in

)

Definition at line 450 of file search/domain_transition_graph.cpp.

---

Member Function Documentation

void LocalAssignment::dump

(

)

const

Definition at line 455 of file search/domain_transition_graph.cpp.

---

Member Data Documentation

condition_type LocalAssignment::cond_type

Definition at line 36 of file search/domain_transition_graph.h.

assignment_op LocalAssignment::fop

Definition at line 35 of file search/domain_transition_graph.h.

int LocalAssignment::local_var

Definition at line 32 of file search/domain_transition_graph.h.

DomainTransitionGraph* LocalAssignment::prev_dtg

Definition at line 31 of file search/domain_transition_graph.h.

double LocalAssignment::value

Definition at line 33 of file search/domain_transition_graph.h.

int LocalAssignment::var

Definition at line 34 of file search/domain_transition_graph.h.

---

The documentation for this struct was generated from the following files:

• search/domain_transition_graph.h
• search/domain_transition_graph.cpp