ihateintegrals 0.1.2

A computer algebra library for solving integrals.
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

use std::hash::Hash;
use std::{collections::HashSet, rc::Rc};

use serde_json::{json, Value};

use crate::expressions::Expression;

/**
 * Stores a human readable argument describing why a relationship
* exists. Stores some number of expressions which the argument is
* based on.
 */
#[derive(PartialEq, Eq, Debug)]
pub struct Argument {
    msg: String,
    grounds: HashSet<Expression>,
    rule_name: String,
    extra_data: Option<Value>,
}

impl Hash for Argument {
    fn hash<H: std::hash::Hasher>(&self, state: &mut H) {
        self.msg.hash(state);
    }
}

impl Argument {
    pub fn new(msg: String, grounds: Vec<Expression>, rule_name: String) -> Rc<Argument> {
        Argument {
            msg,
            grounds: HashSet::from_iter(grounds),
            rule_name,
            extra_data: None,
        }
        .into()
    }

    pub fn new_raw(msg: String, grounds: Vec<Expression>, rule_name: String) -> Argument {
        Argument {
            msg,
            grounds: HashSet::from_iter(grounds),
            rule_name,
            extra_data: None,
        }
    }

    pub fn message(&self) -> &str {
        &self.msg
    }

    pub fn grounds(&self) -> &HashSet<Expression> {
        &self.grounds
    }

    pub fn rule_name(&self) -> &String {
        &self.rule_name
    }

    pub fn to_json(&self) -> Value {
        json!({
            "message": self.msg,
            "rule_name": self.rule_name,
            "extra_data": self.extra_data,
        })
    }

    pub fn set_extra_data(&mut self, data: Value) {
        self.extra_data = Some(data)
    }

    pub fn extra_data(&self) -> Option<&Value> {
        self.extra_data.as_ref()
    }
}