Enum FrameworkType 

pub enum FrameworkType {
    Csp,
    Cop,
    Wcsp,
    Fcsp,
    Qcsp,
    QcspPlus,
    Qcop,
    QcopPlus,
    Scsp,
    Scop,
    Qstr,
    Tcsp,
    Ncsp,
    Ncop,
    DisCsp,
    DisWcsp,
}

The framework of an XCSP3 instance

The framework of an XCSP3 instance is used to determine the types of constraints and variables that can be used in the instance. Different frameworks correspond to different types of problems that can be expressed in XCSP3.

Variants

Csp

Constraint Satisfaction Problem

A discrete Constraint Network that constains a finite set of variables and a finite set of constraints.

Cop

Constraint Optimization Problem

An instance is defined by a set of variables, a set of constraints, as for FrameworkType::Csp, together with a set of objective functions. Mono-objective optimization is when only one objective function is present. Otherwise, this is multi-objective optimization.

Wcsp

Weighted Constraint Satisfaction Problem

An extension to FrameworkType::Csp that relies on a valuation structure using weighted constraints.

Fcsp

Fuzzy Constraint Satisfaction Problem

An extension of FrameworkType::Csp with fuzzy constraints. Each fuzzy constraint represents a fuzzy relation on its scope: it associates a value in [0,1], called membership degree, with each constraint tuple, indicating to what extent the tuple belongs to the relation and therefore satisfies the constraint.

Qcsp

Quantified Constraint Satisfaction Problem

An extension of FrameworkType::Csp in which variables may be quantified universally or existentially.

QcspPlus

Extended Quantified Constraint Optimization Problem

An extension of FrameworkType::Qcsp to overcome some difficulties that may occur when modeling real problems with classical QCSP.

Qcop

Quantified Constraint Optimization Problem

An extesion of FrameworkType::Qcsp that allows us to formally express preferences over FrameworkType::Qcsp strategies

QcopPlus

Extended Quantified Constraint Optimization Problem

An extesion of FrameworkType::QcspPlus that allows us to formally express preferences over FrameworkType::QcspPlus strategies

Scsp

Stochastic Constraint Satisfaction Problem

Scop

Stochastic Constraint Optimization Problem

Qstr

Qualitative Spatial Temporal Reasoning

Tcsp

Temporal Constraint Satisfaction Problem

In this framework, variables represent time points and temporal information is represented by a set of unary and binary constraints, each specifying a set of permitted intervals.

Ncsp

Numerical Constraint Satisfaction Problem

An extension of FrameworkType::Csp in which variables are real numbers and constraints are relations between these variables.

Ncop

Numerical Constraint Optimization Problem

An extension of FrameworkType::Ncsp that includes objective functions.

DisCsp

Distributed Constraint Satisfaction Problem

DisWcsp

Distributed Weighted Constraint Satisfaction Problem

Trait Implementations

impl Clone for FrameworkType

fn clone(&self) -> FrameworkType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FrameworkType

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

Formats the value using the given formatter.

impl Default for FrameworkType

fn default() -> FrameworkType

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for FrameworkType

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Hash for FrameworkType

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for FrameworkType

fn eq(&self, other: &FrameworkType) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for FrameworkType

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for FrameworkType

impl Eq for FrameworkType

impl StructuralPartialEq for FrameworkType