diff options
author | Clifford Wolf <clifford@clifford.at> | 2014-03-03 02:13:17 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2014-03-03 02:13:17 +0100 |
commit | d5bd93997c9ce7c31ef430684700a2096618672e (patch) | |
tree | a2f62a10775c5d4e19b99cfeafb187ba200c0290 /libs/ezsat/ezsat.h | |
parent | 895e9fc70cb2d45c606c64a7b12d51dc0564c005 (diff) |
ezSAT: Added frozen_literal() API
Diffstat (limited to 'libs/ezsat/ezsat.h')
-rw-r--r-- | libs/ezsat/ezsat.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/libs/ezsat/ezsat.h b/libs/ezsat/ezsat.h index 13b39d4e..b0b731d0 100644 --- a/libs/ezsat/ezsat.h +++ b/libs/ezsat/ezsat.h @@ -79,6 +79,8 @@ public: int value(bool val); int literal(); int literal(const std::string &name); + int frozen_literal(); + int frozen_literal(const std::string &name); int expression(OpId op, int a = 0, int b = 0, int c = 0, int d = 0, int e = 0, int f = 0); int expression(OpId op, const std::vector<int> &args); |