Public Member Functions | Public Attributes
FuncTransitionLabel Class Reference

#include <domain_transition_graph.h>

Inheritance diagram for FuncTransitionLabel:
Inheritance graph
[legend]

List of all members.

Public Member Functions

 FuncTransitionLabel (int the_starting_variable, vector< LocalAssignment > the_precond, vector< LocalAssignment > the_effect, assignment_op the_a_op, int the_influencing_variable, int the_duration_variable, trans_type type, Operator *the_op)

Public Attributes

assignment_op a_op
int influencing_variable
int starting_variable

Detailed Description

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


Constructor & Destructor Documentation

FuncTransitionLabel::FuncTransitionLabel ( int  the_starting_variable,
vector< LocalAssignment the_precond,
vector< LocalAssignment the_effect,
assignment_op  the_a_op,
int  the_influencing_variable,
int  the_duration_variable,
trans_type  type,
Operator the_op 
) [inline]

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


Member Data Documentation

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

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

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


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


tfd_modules
Author(s): Maintained by Christian Dornhege (see AUTHORS file).
autogenerated on Mon Oct 6 2014 07:52:06