Class: Plumb::Relation

Inherits:
Object
  • Object
show all
Defined in:
lib/plumb/relation.rb

Overview

Internal three-valued result for propositions the type algebra attempts to prove. Unknown is distinct from false so callers cannot turn missing knowledge into an unsafe rewrite.

Constant Summary collapse

PROVEN = 
new.freeze
DISPROVEN = 
new.freeze
UNKNOWN = 
new.freeze