Enum monster::engine::symbolic_state::Query [−][src]
pub enum Query { Equals((SymbolicValue, u64)), NotEquals((SymbolicValue, u64)), Reachable, }
Variants
Equals((SymbolicValue, u64))
NotEquals((SymbolicValue, u64))
Auto Trait Implementations
impl RefUnwindSafe for Query
impl UnwindSafe for Query