VerifTask (Averest)

VerifTask Type

Namespace: Averest.Core
Assembly: Averest.dll
Parent Module: Specifications
Base Type: obj
All Interfaces: IEquatable<VerifTask> , IStructuralEquatable , IComparable<VerifTask> , IComparable , IStructuralComparable

Union case	Description
`DisProveA` Full Usage: `DisProveA`
`DisProveE` Full Usage: `DisProveE`
`ProveA` Full Usage: `ProveA`
`ProveE` Full Usage: `ProveE`

Instance member	Description
`this.IsDisProveA` Full Usage: `this.IsDisProveA` Returns: `bool`	Returns: `bool`
`this.IsDisProveE` Full Usage: `this.IsDisProveE` Returns: `bool`	Returns: `bool`
`this.IsProveA` Full Usage: `this.IsProveA` Returns: `bool`	Returns: `bool`
`this.IsProveE` Full Usage: `this.IsProveE` Returns: `bool`	Returns: `bool`
`this.printer` Full Usage: `this.printer` Returns: `PrnDrv -> unit`	Returns: `PrnDrv -> unit`