Skip to content
Commit 981ed30a authored by Christoph Schwering's avatar Christoph Schwering
Browse files

Added methods to Literal::Comparator for search by PredId. 

Additional to those for search by sign and PredId.
parent 770f34ee
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