Enum kimchi::circuits::expr::FeatureFlag

pub enum FeatureFlag {
    RangeCheck0,
    RangeCheck1,
    ForeignFieldAdd,
    ForeignFieldMul,
    Xor,
    Rot,
    LookupTables,
    RuntimeLookupTables,
    LookupPattern(LookupPattern),
    TableWidth(isize),
    LookupsPerRow(isize),
}

The feature flags that can be used to enable or disable parts of constraints.

Variants

RangeCheck0

RangeCheck1

ForeignFieldAdd

ForeignFieldMul

Xor

Rot

LookupTables

RuntimeLookupTables

LookupPattern(LookupPattern)

TableWidth(isize)

Enabled if the table width is at least the given number

LookupsPerRow(isize)

Enabled if the number of lookups per row is at least the given number

Trait Implementations

impl Clone for FeatureFlag

fn clone(&self) -> FeatureFlag

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for FeatureFlag

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for FeatureFlag

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<'from_value_lifetime> FromValue<'from_value_lifetime> for FeatureFlag

fn from_value(value: Value) -> Self

Convert from OCaml value

impl Hash for FeatureFlag

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl IntoValue for FeatureFlag

fn into_value(self, gc: &Runtime) -> Value

Convert to OCaml value

impl OCamlBinding for FeatureFlag

fn ocaml_binding( env: &mut Env, rename: Option<&'static str>, new_type: bool ) -> String

will generate the OCaml bindings for a type (called root type). It takes the current environment [Env], as well as an optional name (if you wish to rename the type in OCaml).

impl OCamlDesc for FeatureFlag

fn ocaml_desc(env: &Env, generics: &[&str]) -> String

describes the type in OCaml, given the current environment [Env] and the list of generic type parameters of the root type (the type that makes use of this type)

fn unique_id() -> u128

Returns a unique ID for the type. This ID will not change if concrete type parameters are used.

impl PartialEq<FeatureFlag> for FeatureFlag

fn eq(&self, other: &FeatureFlag) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for FeatureFlag

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for FeatureFlag

impl Eq for FeatureFlag

impl StructuralEq for FeatureFlag

impl StructuralPartialEq for FeatureFlag