prune-lang 0.2.3

Prune is a constraint logic programming language with branching heuristic.
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
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104

use super::*;
use crate::cli::args::{self, CliArgs};

#[derive(Debug)]
pub struct RunnerConfig {
    pub depth_step: usize,
    pub depth_limit: usize,
    pub answer_limit: usize,
    pub answer_pause: bool,
    pub solver: args::Solver,
    pub heuristic: args::Heuristic,
    pub debug_mode: bool,
}

impl RunnerConfig {
    pub fn new(args: &CliArgs) -> RunnerConfig {
        RunnerConfig {
            depth_step: args.depth_step,
            depth_limit: args.depth_limit,
            answer_limit: args.answer_limit,
            answer_pause: args.answer_pause,
            solver: args.solver,
            heuristic: args.heuristic,
            debug_mode: args.debug_mode,
        }
    }

    pub fn reset_default(&mut self) {
        self.depth_step = 5;
        self.depth_limit = 100;
        self.answer_limit = usize::MAX;
    }

    pub fn set_param(&mut self, param: &QueryParam) {
        match param {
            QueryParam::DepthStep(x) => {
                self.depth_step = *x;
            }
            QueryParam::DepthLimit(x) => {
                self.depth_limit = *x;
            }
            QueryParam::AnswerLimit(x) => {
                self.answer_limit = *x;
            }
            QueryParam::AnswerPause(x) => {
                self.answer_pause = *x;
            }
        }
    }
}

#[derive(Debug)]
pub struct RunnerStats {
    pub step_cnt: usize,
    pub step_cnt_la: usize,
    pub total_step: usize,
    pub acc_total_step: usize,
}

impl Default for RunnerStats {
    fn default() -> Self {
        Self::new()
    }
}

impl RunnerStats {
    pub fn new() -> RunnerStats {
        RunnerStats {
            step_cnt: 0,
            step_cnt_la: 0,
            total_step: 0,
            acc_total_step: 0,
        }
    }

    pub fn reset(&mut self) {
        self.step_cnt = 0;
        self.step_cnt_la = 0;
        self.total_step = 0;
    }

    pub fn step(&mut self) {
        self.step_cnt += 1;
        self.total_step += 1;
        self.acc_total_step += 1;
    }

    pub fn step_la(&mut self) {
        self.step_cnt_la += 1;
        self.total_step += 1;
        self.acc_total_step += 1;
    }

    pub fn print_stat(&self) -> String {
        format!(
            "[STAT]: step = {}, step_la = {}(ratio {}), total = {}, acc_total = {} ",
            self.step_cnt,
            self.step_cnt_la,
            (self.step_cnt_la as f32) / (self.step_cnt as f32 + 0.001),
            self.total_step,
            self.acc_total_step,
        )
    }
}