Module ovmi::predicates [−][src]
Expand description
Executable Predicates.
Executable Predicates instanced from Compiled Predicates and Atomic Predicates.
Structs
| AndPredicate | |
| CompiledExecutable | |
| EqualPredicate | |
| ForAllPredicate | |
| IsContainedPredicate | |
| IsLessThanPredicate | |
| IsStoredPredicate | |
| IsValidSignaturePredicate | |
| NotPredicate | |
| OrPredicate | |
| Property | Property stands for dispute logic and we can claim every Properties to Adjudicator Contract. Property has its predicate address and array of input. |
| ThereExistsPredicate | |
| VerifyInclusionPredicate |
Enums
Traits
| AtomicHelperInterface | |
| AtomicPredicateInterface | |
| BaseAtomicPredicateInterface | |
| CompiledPredicateInterface | |
| DecidablePredicateInterface | |
| LogicalConnectiveInterface | |
| UniversalAdjudication | |
| Utils |