Public Member Functions | Public Attributes
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
DomainTransitionGraphprev_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.

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

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

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

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

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

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

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


The documentation for this struct was generated from the following files:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines


tfd_modules
Author(s): Maintained by Christian Dornhege (see AUTHORS file).
autogenerated on Tue Jan 22 2013 12:25:03