Builder
class Builder
Properties
Link copied to clipboard
The logical statements that are validated while assuming the policy and premises.
Link copied to clipboard
The logical statements that serve as premises under which the claims are validated.
Link copied to clipboard
The category of the detected logical issue, such as statements that are always true or always false.