Impossible

Indicates that Automated Reasoning cannot make a statement about the claims. This can happen if the premises are logically incorrect, or if there is a conflict within the Automated Reasoning policy itself.

Constructors

Link copied to clipboard

Properties

Link copied to clipboard

Inherited functions