Get all variables?

10 views
Skip to first unread message

Skarrabor

unread,
Aug 28, 2019, 9:23:12 AM8/28/19
to Boolector
Hi,

is it possible to get all used/asserted variables after sat call?
Something like:

BoolectorNode equal = boolector_eq( boolector_var("a"), boolector_var("b") );
boolector_assert(equal);
boolector_sat();
BoolectorNode[] vars = get_vars();
I want either the nodes of "a" and "b" or the assignments, but without saving them separately.

Thank you for your help and work,
Daniel

Mathias Preiner

unread,
Aug 28, 2019, 11:23:20 AM8/28/19
to bool...@googlegroups.com
Hi Daniel,

The API currently does not have this kind of functionality. You have to
keep track of the nodes on your own.

Cheers,
Mathias
> --
> You received this message because you are subscribed to the Google
> Groups "Boolector" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to boolector+...@googlegroups.com
> <mailto:boolector+...@googlegroups.com>.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/boolector/2a8ffe17-eafa-4cc5-b2f9-2dcb624e97be%40googlegroups.com
> <https://groups.google.com/d/msgid/boolector/2a8ffe17-eafa-4cc5-b2f9-2dcb624e97be%40googlegroups.com?utm_medium=email&utm_source=footer>.
Reply all
Reply to author
Forward
0 new messages