Skip to main content

gen_decision_circuit

xlog_cuda_tests::harness::xgcf

Function gen_decision_circuit 

Source 
pub fn gen_decision_circuit() -> TinyXgcfSpec
Expand description

Generate a Decision circuit: root = Decision(var, false_child=Const1, true_child=Lit(+1))