ProofGoal (Averest)

ProofGoal Type

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

Union case	Description
`SpecAssert(QName, VerifTask, QName list, SpecExpr, QName list)` Full Usage: `SpecAssert(QName, VerifTask, QName list, SpecExpr, QName list)` Parameters: Item1 : `QName` Item2 : `VerifTask` Item3 : `QName list` Item4 : `SpecExpr` Item5 : `QName list`	Item1 : `QName` Item2 : `VerifTask` Item3 : `QName list` Item4 : `SpecExpr` Item5 : `QName list`
`SpecAssume(QName, SpecExpr)` Full Usage: `SpecAssume(QName, SpecExpr)` Parameters: Item1 : `QName` Item2 : `SpecExpr`	Item1 : `QName` Item2 : `SpecExpr`

Instance member	Description
`this.IsSpecAssert` Full Usage: `this.IsSpecAssert` Returns: `bool`	Returns: `bool`
`this.IsSpecAssume` Full Usage: `this.IsSpecAssume` Returns: `bool`	Returns: `bool`
`this.printer` Full Usage: `this.printer` Returns: `PrnDrv -> unit`	Returns: `PrnDrv -> unit`