- apply_retiming()
: DDG
- comparable()
: DDG
- edge_type_to_string()
: DDG
- ge()
: DDG
- gt()
: DDG
- is_lexicographic_positive()
: DDG
- le()
: DDG
- list_to_set()
: DDG
- loop_merge()
: DDG
- lt()
: DDG
- MAXIMAL_ANTI_CHAIN()
: DDG
- MINIMAL_CHAIN()
: DDG
- parallel()
: DDG
- REGISTER_SATURATION()
: DDG
- retime_ddg()
: DDG
- set_to_list()
: DDG
- string_to_edge_type()
: DDG
- unroll()
: DDG
January 2009, by Sid Touati (Copyright INRIA and University of Versailles)