Trait ovmi::predicates::LogicalConnectiveInterface

pub trait LogicalConnectiveInterface<Address> {
    fn is_valid_challenge(
        &self, 
        _inputs: Vec<Vec<u8>>, 
        _challenge_inputs: Vec<Vec<u8>>, 
        _challenge: Property<Address>
    ) -> ExecResult<Address>;
}

Required methods

fn is_valid_challenge(
    &self,
    _inputs: Vec<Vec<u8>>,
    _challenge_inputs: Vec<Vec<u8>>,
    _challenge: Property<Address>
) -> ExecResult<Address>

Implementors

impl<'a, Ext: ExternalCall> LogicalConnectiveInterface<<Ext as ExternalCall>::Address> for NotPredicate<'a, Ext>

fn is_valid_challenge(
    &self,
    inputs: Vec<Vec<u8>>,
    _challenge_inputs: Vec<Vec<u8>>,
    challenge: Property<AddressOf<Ext>>
) -> ExecResult<AddressOf<Ext>>

@dev Validates a child node of Not property in game tree.

impl<'a, Ext: ExternalCall> LogicalConnectiveInterface<<Ext as ExternalCall>::Address> for OrPredicate<'a, Ext>

fn is_valid_challenge(
    &self,
    inputs: Vec<Vec<u8>>,
    _challenge_inputs: Vec<Vec<u8>>,
    challenge: Property<AddressOf<Ext>>
) -> ExecResult<AddressOf<Ext>>

@dev Validates a child node of Or property in game tree.

impl<'a, Ext: ExternalCall> LogicalConnectiveInterface<<Ext as ExternalCall>::Address> for ThereExistsPredicate<'a, Ext>

fn is_valid_challenge(
    &self,
    inputs: Vec<Vec<u8>>,
    _challenge_inputs: Vec<Vec<u8>>,
    challenge: Property<AddressOf<Ext>>
) -> ExecResult<AddressOf<Ext>>

@dev Validates a child node of ThereExists property in game tree.

impl<Ext: ExternalCall> LogicalConnectiveInterface<<Ext as ExternalCall>::Address> for LogicalConnectiveExecutable<'_, Ext>

fn is_valid_challenge(
    &self,
    inputs: Vec<Vec<u8>>,
    challenge_inputs: Vec<Vec<u8>>,
    challenge: Property<AddressOf<Ext>>
) -> ExecResult<AddressOf<Ext>>

impl<Ext: ExternalCall> LogicalConnectiveInterface<<Ext as ExternalCall>::Address> for AndPredicate<'_, Ext>

fn is_valid_challenge(
    &self,
    inputs: Vec<Vec<u8>>,
    challenge_inputs: Vec<Vec<u8>>,
    challenge: Property<AddressOf<Ext>>
) -> ExecResult<AddressOf<Ext>>

@dev Validates a child node of And property in game tree.

impl<Ext: ExternalCall> LogicalConnectiveInterface<<Ext as ExternalCall>::Address> for ForAllPredicate<'_, Ext>

fn is_valid_challenge(
    &self,
    inputs: Vec<Vec<u8>>,
    challenge_inputs: Vec<Vec<u8>>,
    challenge: Property<AddressOf<Ext>>
) -> ExecResult<AddressOf<Ext>>

@dev Validates a child node of ForAll property in game tree.