[−][src]Module sspds::smt::state_helpers

Structs

SmtCompositionState

  • composition state smt gen helper type
  • what do we need?

  • composition state sort name

  • composition state constructor name

  • composition state accessor names

  • composition state sort definition

  • composition state accessor helpers

  • overwrite/copy-on-write helper

  • for that we need...

  • composition name

  • SmtPackageState values for each instance

  • (declare-datatype State_right-pkey ( (mk-state-right-pkey (state-right-pkey-pk (Array Int String)) (state-right-pkey-sk (Array Int String)) (state-right-pkey-id (Array String Int)) (state-right-pkey-ctr Int) (state-right-pkey-rand RandState))))

    • SmtPackageState

    packages state smt gen helper type