Enum Annotation 

pub enum Annotation<Identifier = String> {
    Atom(Identifier),
    Call(AnnotationCall<Identifier>),
}

Additional information provided in a standardized format for declarations, constraints, or solve objectives

In MiniZinc annotations can both be added explicitly in the model, or can be added during compilation process.

Note that annotations are generally defined either in the MiniZinc standard library or in a solver’s redefinition library. Solvers are encouraged to rewrite annotations in their redefinitions library when required.

Variants

Atom(Identifier)

Atom annotation (i.e., a single Identifier)

Call(AnnotationCall<Identifier>)

Call annotation

Trait Implementations

impl<Identifier: Clone> Clone for Annotation<Identifier>

fn clone(&self) -> Annotation<Identifier>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Identifier: Debug> Debug for Annotation<Identifier>

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

Formats the value using the given formatter.

impl<Identifier: Display> Display for Annotation<Identifier>

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

Formats the value using the given formatter.

impl<Identifier: PartialEq> PartialEq for Annotation<Identifier>

fn eq(&self, other: &Annotation<Identifier>) -> 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<Identifier> Serialize for Annotation<Identifier>

where Identifier: Serialize,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<Identifier> StructuralPartialEq for Annotation<Identifier>