Ops: deleted this by accident in the previous commit
This commit is contained in:
parent
dd8a92aaf3
commit
48413deae7
@ -11,6 +11,8 @@
|
|||||||
%:- set_pfl_flag(em_solver,ve).
|
%:- set_pfl_flag(em_solver,ve).
|
||||||
:- set_pfl_flag(em_solver,bdd).
|
:- set_pfl_flag(em_solver,bdd).
|
||||||
|
|
||||||
|
:- dynamic id/1.
|
||||||
|
|
||||||
data(t,t,t,t).
|
data(t,t,t,t).
|
||||||
data(_,t,_,t).
|
data(_,t,_,t).
|
||||||
data(t,t,f,f).
|
data(t,t,f,f).
|
||||||
|
Reference in New Issue
Block a user