Oracle_classes.cpp File Reference

Factor Oracle methodes. More...

#include "Oracle_classes.hpp"

Include dependency graph for Oracle_classes.cpp:

Go to the source code of this file.

Functions
ostream &	operator<< (ostream &out, O_state &statein)
ostream &	operator<< (ostream &out, const O_oracle &oraclein)

---

Function Documentation

ostream& operator<<	(	ostream &	out,
		const O_oracle &	oraclein
	)

Output is compliant with the DOT graph description language. This function outputs the header of DOT file and calls O_state::operator<< for every state.

digraph Oracle
{
  graph [rankdir=LR];
  node [shape=circle];
  nodesep = 0.2;
 
  states_output
 
}
 

Definition at line 299 of file Oracle_classes.cpp.

ostream& operator<<	(	ostream &	out,
		O_state &	statein
	)

Output is compliant with the DOT graph description language.

{
   state_number 
   state_number -> first_transition
   state_number -> transitions [constraint = false]
   
   state_number -> suffix      [constraint = false, style = dotted]
   
 }

Definition at line 205 of file Oracle_classes.cpp.

Here is the call graph for this function: