Builder

class Builder

Properties

Link copied to clipboard

An example scenario demonstrating how the claims could be logically false.

Link copied to clipboard

An example scenario demonstrating how the claims could be logically true.

Link copied to clipboard

Indication of a logic issue with the translation without needing to consider the automated reasoning policy rules.

Link copied to clipboard

The logical translation of the input that this finding evaluates.

Functions