This module provides proc hash for PropLogicFormula and TruthValue (the algorithm of proc hash this module provides can be improved).

Imports

Procs

proc hash(formula: PropLogicFormula): Hash {....raises: [Exception], tags: [RootEffect], forbids: [].}: Returns hash value of given formula.
proc hash(truthValue: TruthValue): Hash {....raises: [], tags: [], forbids: [].}: Returns hash value of given truthValue.