ConsistencyKind

class hets.ConsistencyKind(value)[source]

A type of consistency of a theory.

CONSERVATIVE = 3: The theory is conservative

DEFINITIONAL = 5: The theory is definitional

ERROR = 6: An error occurred

INCONSISTENT = 0: The theory was proven to be inconsistent

MONOMORPHIC = 4: The theory is monomorphic

NONE = 8: There is no consistency

PROOF_THEORETICALLY_CONSERVATIVE = 2: The theory is proof-theoretically conservative

TIMED_OUT = 7: The consistency checker timed out

UNKNOWN = 1: The consistency of the theory is not known

short_name() → str[source]: Returns an abbreviated form of the kinds name

to_str() → str[source]: Converts a consistency kind to human friendly string