qualia_cli/cli/
evaluate.rs

1use clap::Subcommand;
2use std::path::PathBuf;
3
4#[derive(Subcommand, Debug)]
5pub enum EvaluateModality {
6    Deontic {
7        dataset: PathBuf,
8        contract_hash: u64,
9    },
10    Epistemic {
11        dataset: PathBuf,
12        agent_hash: u64,
13    },
14    Paraconsistent {
15        dataset: PathBuf,
16    },
17    Ltl {
18        dataset: PathBuf,
19        #[arg(long)]
20        formula_type: String,
21        #[arg(long, default_value = "0")]
22        hash_a: u64,
23        #[arg(long, default_value = "0")]
24        hash_b: u64,
25    },
26    Asp {
27        dataset: PathBuf,
28        #[arg(long, default_value = "0")]
29        base_index: usize,
30    },
31    Dl {
32        dataset: PathBuf,
33        #[arg(long)]
34        sub_class: u64,
35        #[arg(long)]
36        super_class: u64,
37    },
38    Probabilistic {
39        #[arg(long)]
40        weight: f32,
41        #[arg(long)]
42        threshold: f32,
43    },
44    LinearLogic {
45        dataset: PathBuf,
46        #[arg(long, default_value = "0")]
47        quin_index: usize,
48    },
49    Dialectical {
50        dataset: PathBuf,
51        #[arg(long)]
52        var1: u64,
53        #[arg(long)]
54        var2: u64,
55    },
56    Diffusion {
57        graph_id: String,
58    },
59    SpatioTemporal {
60        action: String,
61        #[arg(long, default_value = "0")]
62        ax1: f64,
63        #[arg(long, default_value = "1")]
64        ay1: f64,
65        #[arg(long, default_value = "1")]
66        ax2: f64,
67        #[arg(long, default_value = "0")]
68        ay2: f64,
69        #[arg(long, default_value = "2")]
70        bx1: f64,
71        #[arg(long, default_value = "3")]
72        by1: f64,
73        #[arg(long, default_value = "3")]
74        bx2: f64,
75        #[arg(long, default_value = "2")]
76        by2: f64,
77    },
78    Interval {
79        action: String,
80        #[arg(long, default_value = "0")]
81        start1: i64,
82        #[arg(long, default_value = "10")]
83        end1: i64,
84        #[arg(long, default_value = "5")]
85        start2: i64,
86        #[arg(long, default_value = "15")]
87        end2: i64,
88        #[arg(long, default_value = "7")]
89        point: i64,
90    },
91    GraphTopology {
92        dataset: PathBuf,
93        #[arg(long, default_value = "0")]
94        context: u64,
95    },
96    Argumentation {
97        #[arg(long)]
98        demo: bool,
99        dataset: Option<PathBuf>,
100    },
101    ControlFeedback {
102        #[arg(long)]
103        kp: f64,
104        #[arg(long)]
105        ki: f64,
106        #[arg(long)]
107        kd: f64,
108        #[arg(long)]
109        setpoint: f64,
110        #[arg(long)]
111        measurement: f64,
112    },
113    NeuroSymbolic {
114        #[arg(long)]
115        demo: bool,
116    },
117}
qualia_cli/cli/evaluate.rs

qualia_cli/cli/
evaluate.rs
