Public Member Functions | Public Attributes
CompTransition Struct Reference

#include <domain_transition_graph.h>

List of all members.

Public Member Functions

void dump () const

Public Attributes

int left_var
binary_op op
int right_var

Detailed Description

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


Member Function Documentation

void CompTransition::dump ( ) const

Member Data Documentation

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

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

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


The documentation for this struct 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