Method | Description | |
---|---|---|
AssociateTriggersWithQuantifier ( object quantifier, IEnumerable |
Associates the given object with the given list of triggers. If the object is already associated with a list of triggers, that association will be lost as a result of this call.
|
|
GetTriggersFor ( object quantifier ) : IEnumerable |
Returns the triggers, if any, that have been associated with the given object. Returns null if no association exits.
|
|
SourceContractProvider ( IContractMethods contractMethods, IUnit unit ) : System.Collections.Generic |
Allocates an object that associates contracts, such as preconditions and postconditions, with methods, types and loops.
|
Method | Description | |
---|---|---|
ProjectedExpressionList ( IEnumerable |
public AssociateTriggersWithQuantifier ( object quantifier, IEnumerable |
||
quantifier | object | An object to associate with the triggers. This can be any kind of object. |
triggers | IEnumerable |
One or more groups of expressions that trigger the instantiation of a quantifier by the theorem prover. |
return | void |
public GetTriggersFor ( object quantifier ) : IEnumerable |
||
quantifier | object | An object that might have been associated with triggers. This can be any kind of object. |
return | IEnumerable |
public SourceContractProvider ( IContractMethods contractMethods, IUnit unit ) : System.Collections.Generic | ||
contractMethods | IContractMethods | A collection of methods that can be called in a way that provides tools with information about contracts. |
unit | IUnit | The unit for which this is a contract provider. |
return | System.Collections.Generic |