elvis/ReactionSystems
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

step and evaluate function for bool fuction and network

Browse Source
This commit is contained in:
elvis
2025-12-20 21:21:14 +01:00
parent 5476feea2a
commit 65db7ed17b
1 changed files with 31 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

31
rsprocess/src/boolean.rs
View File

@ -16,6 +16,21 @@ pub enum BooleanFunction {
Or(Box<BooleanFunction>, Box<BooleanFunction>),
}
impl BooleanFunction {
pub fn evaluate(&self, assignments: &BTreeMap<IdType, bool>) -> bool {
match self {
| Self::False => false,
| Self::True => true,
| Self::Not(bf) => !bf.evaluate(assignments),
| Self::Variable(i) => *assignments.get(i).unwrap_or(&false),
| Self::And(bf1, bf2) =>
bf1.evaluate(assignments) && bf2.evaluate(assignments),
| Self::Or(bf1, bf2) =>
bf1.evaluate(assignments) || bf2.evaluate(assignments),
}
}
}
impl PrintableWithTranslator for BooleanFunction {
fn print(
&self,
@ -258,6 +273,22 @@ pub struct BooleanNetwork {
update_rules: BTreeMap<IdType, BooleanFunction>,
}
impl BooleanNetwork {
pub fn step(&self) -> BooleanNetwork {
BooleanNetwork {
initial_state: {
BTreeMap::from_iter(
self.update_rules
.iter()
.map(|(el, bf)| (*el, bf.evaluate(&self.initial_state)))
.collect::<Vec<_>>(),
)
},
update_rules: self.update_rules.clone(),
}
}
}
impl PrintableWithTranslator for BooleanNetwork {
fn print(
&self,