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

int CompTransition::left_var

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

binary_op CompTransition::op

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

int CompTransition::right_var

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

---

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

• search/domain_transition_graph.h