Struct ovmi::predicates::CompiledExecutable [−][src]
pub struct CompiledExecutable<'a, Ext: ExternalCall> { pub ext: &'a Ext, pub payout: AddressOf<Ext>, pub code: CompiledPredicate, pub constants: BTreeMap<HashOf<Ext>, VarType>, pub address_inputs: BTreeMap<HashOf<Ext>, AddressOf<Ext>>, pub bytes_inputs: BTreeMap<HashOf<Ext>, Vec<u8>>, }
Fields
ext: &'a Extpayout: AddressOf<Ext>code: CompiledPredicateconstants: BTreeMap<HashOf<Ext>, VarType>address_inputs: BTreeMap<HashOf<Ext>, AddressOf<Ext>>bytes_inputs: BTreeMap<HashOf<Ext>, Vec<u8>>Trait Implementations
impl<Ext: ExternalCall> CompiledPredicateInterface<<Ext as ExternalCall>::Address> for CompiledExecutable<'_, Ext>[src]
impl<Ext: ExternalCall> CompiledPredicateInterface<<Ext as ExternalCall>::Address> for CompiledExecutable<'_, Ext>[src]@dev Validates a child node of the property in game tree.
@dev get valid child property of game tree with challenge_inputs
fn decide_true(
&self,
inputs: Vec<Vec<u8>>,
witness: Vec<Vec<u8>>
) -> ExecResult<AddressOf<Ext>>[src]fn decide_with_witness(
&self,
inputs: Vec<Vec<u8>>,
witness: Vec<Vec<u8>>
) -> ExecResult<AddressOf<Ext>>[src]Auto Trait Implementations
impl<'a, Ext> RefUnwindSafe for CompiledExecutable<'a, Ext> where
Ext: RefUnwindSafe,
<Ext as ExternalCall>::Address: RefUnwindSafe,
<Ext as ExternalCall>::Hash: RefUnwindSafe, impl<'a, Ext> Send for CompiledExecutable<'a, Ext> where
Ext: Sync,
<Ext as ExternalCall>::Address: Send, impl<'a, Ext> Sync for CompiledExecutable<'a, Ext> where
Ext: Sync,
<Ext as ExternalCall>::Address: Sync, impl<'a, Ext> Unpin for CompiledExecutable<'a, Ext> where
<Ext as ExternalCall>::Address: Unpin, impl<'a, Ext> UnwindSafe for CompiledExecutable<'a, Ext> where
Ext: RefUnwindSafe,
<Ext as ExternalCall>::Address: RefUnwindSafe + UnwindSafe,
<Ext as ExternalCall>::Hash: RefUnwindSafe,