research/argus
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

style: run rustfmt on all files

Browse source
This commit is contained in:
Anand Balakrishnan 2023-03-25 20:43:08 -07:00
parent 22c099a058
commit 00b03a509f
No known key found for this signature in database
5 changed files with 12 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

11
argus-semantics/src/semantics/boolean.rs
View file

@ -1,10 +1,9 @@
use argus_core::{expr::BoolExpr, prelude::*};
use argus_core::expr::BoolExpr;
use argus_core::prelude::*;
use crate::{
eval::NumExprEval,
utils::{signal_bool_op_impl, signal_cmp_op_impl},
Semantics, Trace,
};
use crate::eval::NumExprEval;
use crate::utils::{signal_bool_op_impl, signal_cmp_op_impl};
use crate::{Semantics, Trace};
/// Boolean semantics of Argus expressions
pub struct BooleanSemantics;