WoMax Documentation

# 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: