hybriddd::MyTdZdd mytdzdd(< graph_file_name >, < variable_ordering >);

/*** variable_ordering
"as-is"
"dfs"
"bfs" <-- default
"greedy"
***/

hybriddd::MyEval result = mytdzdd.S_T_PATH(< S >, < T >, < vertex indeces flag >);

result.dump(std::cout);

/*** dump
# enumeration type
# computation (enumeration) time
# non-reduced dd size
# reduced dd size
# cardinality
***/

|V| |E|
u_1 v_1
u_2 v_2
...
...
...
u_{|E|} v_{|E|}