Module essential_check::predicate

Items related to the validation of Predicates.

Enums

• InvalidConstraint
  check_constraint error.
• InvalidConstraints
  check_constraints error.
• InvalidContract
  check_contract error.
• InvalidDirective
  check_directive error.
• InvalidPredicate
  check error indicating part of a predicate was invalid.
• InvalidSignedContract
  check_signed_contract error.
• InvalidSlots
  [check_slots] error.
• InvalidStateRead
  check_state_read error.
• InvalidStateReads
  check_state_reads error.

Constants

• MAX_CONSTRAINTS
  Maximum number of constraint check programs of a predicate.
• MAX_CONSTRAINT_SIZE_IN_BYTES
  Maximum size of constraint check programs of a predicate in bytes.
• MAX_DECISION_VARIABLES
  Maximum number of decision variables of the slots of a predicate.
• MAX_DIRECTIVE_SIZE
  Maximum size of directive of a predicate.
• MAX_NUM_STATE_SLOTS
  Maximum number of state slots of a predicate.
• MAX_PREDICATES
  Maximum number of predicates in a contract.
• MAX_STATE_LEN
  Maximum length of state slots of a predicate.
• MAX_STATE_READS
  Maximum number of state read programs of a predicate.
• MAX_STATE_READ_SIZE_IN_BYTES
  Maximum size of state read programs of a predicate in bytes.

Functions

• check
  Validate a single predicate.
• check_constraint
  Validate a single constraint bytecode slice.
• check_constraints
  Validate a predicate’s constraint bytecode.
• check_contract
  Validate a contract of predicates.
• check_directive
  Validate a predicate’s directive.
• check_signed_contract
  Validate a signed contract of predicates.
• check_state_read
  Validate a single state read bytecode slice.
• check_state_reads
  Validate a predicate’s state read bytecode.