Constant clingo_sys::clingo_ast_sign_e_clingo_ast_sign_double_negation

source · 
pub const clingo_ast_sign_e_clingo_ast_sign_double_negation: clingo_ast_sign_e = 2;
Expand description

!< For double negated literals (prefix “not not”).