[−][src]Trait pocket_prover::ExtendRules
Implemented by logical systems to extend existing ones.
Associated Types
type Inner: ExtendRules
The inner logical system.
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.
Provided methods
fn full_rules(&self) -> u64
The full rules of the entire logical system.
Implementations on Foreign Types
impl ExtendRules for ()
[src]
type Inner = ()
fn inner(&self) -> &()
[src]
fn extend_rules(&self, _: &()) -> u64
[src]
fn full_rules(&self) -> u64
[src]
impl<T0: ExtendRules, T1: ExtendRules> ExtendRules for (T0, T1)
[src]
impl<T0, T1, T2> ExtendRules for (T0, T1, T2) where
T0: ExtendRules,
T1: ExtendRules,
T2: ExtendRules,
[src]
T0: ExtendRules,
T1: ExtendRules,
T2: ExtendRules,
impl<T0, T1, T2, T3> ExtendRules for (T0, T1, T2, T3) where
T0: ExtendRules,
T1: ExtendRules,
T2: ExtendRules,
T3: ExtendRules,
[src]
T0: ExtendRules,
T1: ExtendRules,
T2: ExtendRules,
T3: ExtendRules,
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]
T0: ExtendRules,
T1: ExtendRules,
T2: ExtendRules,
T3: ExtendRules,
T4: ExtendRules,
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]
T0: ExtendRules,
T1: ExtendRules,
T2: ExtendRules,
T3: ExtendRules,
T4: ExtendRules,
T5: ExtendRules,
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]
T0: ExtendRules,
T1: ExtendRules,
T2: ExtendRules,
T3: ExtendRules,
T4: ExtendRules,
T5: ExtendRules,
T6: ExtendRules,
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]
T0: ExtendRules,
T1: ExtendRules,
T2: ExtendRules,
T3: ExtendRules,
T4: ExtendRules,
T5: ExtendRules,
T6: ExtendRules,
T7: ExtendRules,
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]
T0: ExtendRules,
T1: ExtendRules,
T2: ExtendRules,
T3: ExtendRules,
T4: ExtendRules,
T5: ExtendRules,
T6: ExtendRules,
T7: ExtendRules,
T8: ExtendRules,
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]
Loading content...
T0: ExtendRules,
T1: ExtendRules,
T2: ExtendRules,
T3: ExtendRules,
T4: ExtendRules,
T5: ExtendRules,
T6: ExtendRules,
T7: ExtendRules,
T8: ExtendRules,
T9: ExtendRules,
Implementors
impl<T> ExtendRules for T where
T: BaseSystem,
[src]
T: BaseSystem,