Struct clingo_sys::clingo_ast_minimize
[−]
[src]
#[repr(C)]pub struct clingo_ast_minimize { pub weight: clingo_ast_term_t, pub priority: clingo_ast_term_t, pub tuple: *const clingo_ast_term_t, pub tuple_size: usize, pub body: *const clingo_ast_body_literal_t, pub body_size: usize, }
Fields
weight: clingo_ast_term_t
priority: clingo_ast_term_t
tuple: *const clingo_ast_term_t
tuple_size: usize
body: *const clingo_ast_body_literal_t
body_size: usize
Trait Implementations
impl Debug for clingo_ast_minimize
[src]
impl Copy for clingo_ast_minimize
[src]
impl Clone for clingo_ast_minimize
[src]
fn clone(&self) -> Self
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0
Performs copy-assignment from source
. Read more