I was told there would be no math!

Fabiana Paiva wrote:
> Hello,
>
> I am working with Aleph and I am using m-estimate evaluation function (set
> to auto_m). I need to know the m-estimate value of each rule of the final
> theory. In the final theory, these values do not appear. How can I get them?
> I was performing sat() and reduce to find, but it takes too much time to
> find the rules that are in the final theory.
>
> Thanks in advance.
> Fabiana
>
>
> University of São Paulo, Brazil
>
>   
> ------------------------------------------------------------------------
>
> _______________________________________________
> pmwiki-users mailing list
> [email protected]
> http://www.pmichaud.com/mailman/listinfo/pmwiki-users
>   


-- 
Daniel Otis
[EMAIL PROTECTED]
http://www.moosoft.com
MooSoft Development Inc


_______________________________________________
pmwiki-users mailing list
[email protected]
http://www.pmichaud.com/mailman/listinfo/pmwiki-users

Reply via email to