Constant clingo_sys::clingo_ast_unpool_type_e_clingo_ast_unpool_type_condition

source · 
pub const clingo_ast_unpool_type_e_clingo_ast_unpool_type_condition: clingo_ast_unpool_type_e = 1;
Expand description

!< To only unpool conditions of conditional literals.