Re: [Javabdd-devel] Extracting ITE formula

[Yannic N. <nol...@st...>]

Hi John,

I want to use the BDD library to simplify logical formulas, therefore I
want to put them in BDDs and want to get a simplified formula as output.
The output format would be the next step, but is it generally possible and
with which method?

I found the method "simplify". Can that method be used to minimize logical
formulas, or what's the purpose of that method? Is there any sample code or
tutorial how to use the simplify method? Because I don't know what exactly
the parameter for that method means.

Btw I only got the version 1.0b2 from your sourceforge website, but I saw
that your API is for version 2.0. Is the JavaBDD 2.0 available?

I attached my first sample code, in which I tried to use the BDDs.

Cheers,
Yannic


On 27 February 2014 17:11, John Whaley <joe...@gm...> wrote:

> What output format are you expecting when you say ITE formula? It should
> be possible to write a small amount of code to output in the appropriate
> format.
>
> -John
>  On Feb 26, 2014 6:35 AM, "Yannic Noller" <nol...@gm...> wrote:
>
>> Hi all,
>>
>> I'm a newbie using JavaBDD. Is there any possibility to extract the ITE
>> formed formula from a BDD object?
>>
>> Cheers,
>> Yannic
>>
>>
>> ------------------------------------------------------------------------------
>> Flow-based real-time traffic analytics software. Cisco certified tool.
>> Monitor traffic, SLAs, QoS, Medianet, WAAS etc. with NetFlow Analyzer
>> Customize your own dashboards, set traffic alerts and generate reports.
>> Network behavioral analysis & security monitoring. All-in-one tool.
>>
>> http://pubads.g.doubleclick.net/gampad/clk?id=126839071&iu=/4140/ostg.clktrk
>> _______________________________________________
>> Javabdd-devel mailing list
>> Jav...@li...
>> https://lists.sourceforge.net/lists/listinfo/javabdd-devel
>>
>>