Skip to content
Commit 31e710e2 authored by Christoph Schwering's avatar Christoph Schwering
Browse files

Added [Ewff|Conj]::Subsumes(). 

The method should be sound but incomplete.
parent 4c2df1bf
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment