Struct XConstraintSet

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

the XConstraintSet is a container that stores all constraints.

Implementations

impl<'a> XConstraintSet<'a>

pub fn new(set: &'a XVariableSet) -> XConstraintSet<'a>

pub fn build_no_overlap_k_dim( &mut self, list: &str, lengths_str: &str, zero_ignored_str: &str, )

pub fn build_no_overlap( &mut self, list: &str, lengths_str: &str, zero_ignored_str: &str, )

pub fn build_cumulative( &mut self, origins_str: &str, lengths_str: &str, heights_str: &str, condition_str: &str, ends_str: &str, machines_str: &str, start_index_str: &str, )

pub fn build_channel( &mut self, list: &str, start_index_str: &str, value_str: &str, )

pub fn build_cardinality( &mut self, list: &str, values_str: &str, occurs_str: &str, closed_str: &str, )

pub fn build_stretch( &mut self, list: &str, value_str: &str, widths_str: &str, patterns_str: &str, )

pub fn build_element( &mut self, vars: &str, values_str: &str, index_str: &str, start_index_str: &str, )

pub fn build_slide( &mut self, cc: XConstraintType<'a>, vars: &str, offset_str: &str, circular_str: &str, )

pub fn build_group(&mut self, cc: XConstraintType<'a>, args: &[String])

pub fn get_last_constraint(&mut self) -> Option<XConstraintType<'a>>

this function is designed for XGroup, parse the template for XGroup

pub fn iter(&self) -> Iter<'_, XConstraintType<'_>>

pub fn iter_mut(&mut self) -> IterMut<'_, XConstraintType<'a>>

pub fn build_minimum(&mut self, vars: &str, condition: &str)

pub fn build_maximum(&mut self, vars: &str, condition: &str)

pub fn build_count(&mut self, vars: &str, condition: &str, coeffs: &str)

pub fn build_n_values(&mut self, vars: &str, condition: &str, coeffs: &str)

pub fn build_sum(&mut self, vars: &str, condition: &str, coeffs: &str)

pub fn build_intention(&mut self, function: &str)

pub fn build_regular( &mut self, list: &str, transitions_str: &str, start_str: &str, final_str: &str, )

pub fn build_mdd(&mut self, list: &str, transitions_str: &str)

pub fn build_ordered(&mut self, list: &str, lengths_str: &str, operator: &str)

pub fn build_instantiation(&mut self, list: &str, values: &str)

pub fn build_extension(&mut self, list: &str, tuple: &str, is_support: bool)

pub fn build_all_equal(&mut self, list: &str)

pub fn build_all_different(&mut self, list: &str)

pub fn build_all_different_except(&mut self, list: &str, except: &str)

pub fn build_all_different_matrix(&mut self, list: &str)