circuit_condition (306B)
1 # Circuit condition 2 3 Conditions that can be posed on [circuits] 4 5 - [decomposability] 6 - [deterministic] 7 - [structuredness] (e.g., [vtree]) 8 - [constant_free], can be enforced by propagating constants unless the circuit computes a constant 9 - [smooth] 10 11 Up: [circuit] 12 13 See also: [knowledge_compilation_classes]