Struct clingo_sys::clingo_ast_csp_product_term

#[repr(C)]
pub struct clingo_ast_csp_product_term {
    pub location: clingo_location_t,
    pub coefficient: clingo_ast_term_t,
    pub variable: *const clingo_ast_term_t,
}

Fields

location: clingo_location_t

coefficient: clingo_ast_term_t

variable: *const clingo_ast_term_t

Trait Implementations

impl Copy for clingo_ast_csp_product_term

impl Clone for clingo_ast_csp_product_term

fn clone(&self) -> clingo_ast_csp_product_term

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.