- g -

• gcList : Dag_Manager_t
• get_cnf_var : SatSolver
• get_conflicts : SatSolver
• get_dependencies : DependencyBase
• get_expr : Prop
• get_polarity_mode : SatSolver
• get_type_as_string : Prop
• gmp : QNumber
• gRef : Dag_Vertex_t
• grow_excess : BeEnc