ConsistencyChecker

class hets.ConsistencyChecker(hs_cons_checker: hs.HetsAPI.Python.PyConsChecker)

A tool to check the consistency of a theory.

Warning:

This class should not be instantiated manually.

Parameters:

hs_cons_checker – Haskell object of HetsAPI.Python.PyConsChecker

name() → str

Get the name of the consistency checker