Class MetaStatements

Expresses a relation between 1 or more statement or several witnesses of the same statement

Index

Constructors

Properties

Methods

add addWitnessEquality

Constructors

constructor

new MetaStatements(): MetaStatements
Returns MetaStatements
- Defined in composite-proof/statement.ts:1287

Properties

values

values: Uint8Array[]

Methods

add

add(metaStatement): number
Add a new meta statement.
Parameters
- metaStatement: Uint8Array
Returns number
- Defined in composite-proof/statement.ts:1295

addWitnessEquality

addWitnessEquality(wq): number
Parameters
- wq: WitnessEqualityMetaStatement
Returns number
- Defined in composite-proof/statement.ts:1300