Trait ProblemFact 

pub trait ProblemFact:
    Clone
    + Send
    + Sync
    + Any
    + 'static {
    // Required method
    fn as_any(&self) -> &dyn Any;
}

Marker trait for problem facts.

Problem facts are immutable input data that define the problem. They are used by constraints but not changed during solving.

Example

use std::any::Any;
use solverforge_core::ProblemFact;

#[derive(Clone)]
struct Room {
    id: i64,
    capacity: usize,
}

impl ProblemFact for Room {
    fn as_any(&self) -> &dyn Any { self }
}

Required Methods

fn as_any(&self) -> &dyn Any

Cast to Any for dynamic typing support.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors