Node from parse?

[baier.d...@googlemail.com]

Greetings,

is it possible to get a BoolectorNode from parsing?

I can only find a method to parse an entire formula. (Sorry if i am blind)

Example in pseudocode:

  char *string = "Node in SMT2 Format";

  BoolectorNode *node;

  node = boolector_parse_node(btor, string);

Thank you for your help.

[Aina Niemetz]

Hi,

no, this is currently not supported.

Cheers,
Aina

> --
> 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/aa5f96be-2e9c-4e82-a8bb-78ae75501594%40googlegroups.com
> <https://groups.google.com/d/msgid/boolector/aa5f96be-2e9c-4e82-a8bb-78ae75501594%40googlegroups.com?utm_medium=email&utm_source=footer>.