[−][src]Trait pocket_prover::ExtendRules

pub trait ExtendRules: CoreRules {
    type Inner: ExtendRules;
    fn inner(&self) -> &Self::Inner;

    fn extend_rules(&self, inner: &Self::Inner) -> u64;

    fn full_rules(&self) -> u64 { ... }
}

Implemented by logical systems to extend existing ones.

Associated Types

type Inner: ExtendRules

The inner logical system.

Loading content...

Required methods

fn inner(&self) -> &Self::Inner

Gets the inner logical system.

fn extend_rules(&self, inner: &Self::Inner) -> u64

Rules used to integrate with inner logical system.

Loading content...

Provided methods

fn full_rules(&self) -> u64

The full rules of the entire logical system.

Loading content...

Implementations on Foreign Types

impl ExtendRules for ()[src]

type Inner = ()

impl<T0: ExtendRules, T1: ExtendRules> ExtendRules for (T0, T1)[src]

type Inner = ()

impl<T0, T1, T2> ExtendRules for (T0, T1, T2) where
    T0: ExtendRules,
    T1: ExtendRules,
    T2: ExtendRules, [src]

type Inner = ()

impl<T0, T1, T2, T3> ExtendRules for (T0, T1, T2, T3) where
    T0: ExtendRules,
    T1: ExtendRules,
    T2: ExtendRules,
    T3: ExtendRules, [src]

type Inner = ()

impl<T0, T1, T2, T3, T4> ExtendRules for (T0, T1, T2, T3, T4) where
    T0: ExtendRules,
    T1: ExtendRules,
    T2: ExtendRules,
    T3: ExtendRules,
    T4: ExtendRules, [src]

type Inner = ()

impl<T0, T1, T2, T3, T4, T5> ExtendRules for (T0, T1, T2, T3, T4, T5) where
    T0: ExtendRules,
    T1: ExtendRules,
    T2: ExtendRules,
    T3: ExtendRules,
    T4: ExtendRules,
    T5: ExtendRules, [src]

type Inner = ()

impl<T0, T1, T2, T3, T4, T5, T6> ExtendRules for (T0, T1, T2, T3, T4, T5, T6) where
    T0: ExtendRules,
    T1: ExtendRules,
    T2: ExtendRules,
    T3: ExtendRules,
    T4: ExtendRules,
    T5: ExtendRules,
    T6: ExtendRules, [src]

type Inner = ()

impl<T0, T1, T2, T3, T4, T5, T6, T7> ExtendRules for (T0, T1, T2, T3, T4, T5, T6, T7) where
    T0: ExtendRules,
    T1: ExtendRules,
    T2: ExtendRules,
    T3: ExtendRules,
    T4: ExtendRules,
    T5: ExtendRules,
    T6: ExtendRules,
    T7: ExtendRules, [src]

type Inner = ()

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8> ExtendRules for (T0, T1, T2, T3, T4, T5, T6, T7, T8) where
    T0: ExtendRules,
    T1: ExtendRules,
    T2: ExtendRules,
    T3: ExtendRules,
    T4: ExtendRules,
    T5: ExtendRules,
    T6: ExtendRules,
    T7: ExtendRules,
    T8: ExtendRules, [src]

type Inner = ()

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9> ExtendRules for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9) where
    T0: ExtendRules,
    T1: ExtendRules,
    T2: ExtendRules,
    T3: ExtendRules,
    T4: ExtendRules,
    T5: ExtendRules,
    T6: ExtendRules,
    T7: ExtendRules,
    T8: ExtendRules,
    T9: ExtendRules, [src]

type Inner = ()

Loading content...

Implementors

impl<T> ExtendRules for T where
    T: BaseSystem, [src]

type Inner = ()

Loading content...