Struct XObjectiveExpression

pub struct XObjectiveExpression<'a> { /* private fields */ }

Implementations

impl<'a> XObjectiveExpression<'a>

pub fn get_scope_string(&self) -> &Vec<XVarVal>

pub fn get_expression(&self) -> &ExpressionTree

pub fn get_scope(&mut self) -> Vec<(&String, &XDomainInteger)>

pub fn from_expr(expr: &str, set: &'a XVariableSet) -> Result<Self, Xcsp3Error>

pub fn new( expression: ExpressionTree, scope: Vec<XVarVal>, set: &'a XVariableSet, ) -> Self

Trait Implementations

impl<'a> Clone for XObjectiveExpression<'a>

fn clone(&self) -> XObjectiveExpression<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Display for XObjectiveExpression<'_>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.