Enum cudd_sys::Cudd_VariableType
[−]
[src]
#[repr(C)]pub enum Cudd_VariableType { CUDD_VAR_PRIMARY_INPUT, CUDD_VAR_PRESENT_STATE, CUDD_VAR_NEXT_STATE, }
Variants
CUDD_VAR_PRIMARY_INPUT
CUDD_VAR_PRESENT_STATE
CUDD_VAR_NEXT_STATE