pldag 4.2.2

A DAG-based combinatorial-model framework with optional GLPK solving back-end.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50

use std::collections::HashMap;
use pldag::{Bound, Pldag};

fn main() {
    // Build your PL-DAG
    // For example, we create a model of three boolean variables x, y and z.
    // We bind them to an OR constraint.
    let mut pldag: Pldag = Pldag::new();

    // First setup the primitive variables
    pldag.set_primitive("x", (0, 1));
    pldag.set_primitive("y", (0, 1));
    pldag.set_primitive("z", (0, 1));

    // A reference ID is returned
    let root = pldag.set_or(vec!["x", "y", "z"]).unwrap();

    // Export a sub dag
    let mut dag = pldag.sub_dag(vec![root.clone()]).unwrap();

    // 1. Validate a combination:
    let mut inputs: HashMap<&str, Bound> = HashMap::new();
    let validated = Pldag::propagate_dag(&mut dag, inputs.clone()).unwrap();
    // Since nothing is given, and all other variables implicitly have bounds (0, 1) from the pldag model,
    // the root will be (0,1) since there's not enough information to evaluate the root `or` node.
    println!("Root valid? {}", *validated.get(&root).unwrap() == (1, 1)); // This will be false

    // If we however fix x to be zero, then we can check the result
    inputs.insert("x", (0, 0));
    let revalidated = pldag.propagate(inputs.clone()).unwrap();
    println!("Root valid? {}", *revalidated.get(&root).unwrap() == (1, 1)); // This will be false

    // However, fixing y and z to 1 will yield the root node to be true (since the root will be true if any of x, y or z is true).
    inputs.insert("y", (1, 1));
    inputs.insert("z", (1, 1));
    let revalidated = pldag.propagate(inputs.clone()).unwrap();
    println!("Root valid? {}", *revalidated.get(&root).unwrap() == (1, 1)); // This will be true

    // Build a simple OR‑of‑three model
    let mut pldag = Pldag::new();
    pldag.set_primitive("x", (0, 1));
    pldag.set_primitive("y", (0, 1));
    pldag.set_primitive("z", (0, 1));
    let root = pldag.set_or(vec!["x", "y", "z"]).unwrap();
    let mut dag = pldag.sub_dag(vec![root.clone()]).unwrap();

    // 1. Validate a combination
    let validated = dag.propagate(inputs).unwrap();
    println!("root bound = {:?}", validated[&root]);
}