bug in bddbddb?

[Arnab De]

I have a dlog code that has been working perfectly, but after adding a
new rule, I am getting the following error:

[java] Exception in thread "main" net.sf.javabdd.BDDException:
bad domain: LV2LV1
[java] at net.sf.javabdd.BDDFactory.makeVarOrdering(BDDFactory.java:1551)
[java] at net.sf.bddbddb.BDDSolver.setVariableOrdering(BDDSolver.java:280)
[java] at net.sf.bddbddb.BDDSolver.initialize(BDDSolver.java:197)
[java] at net.sf.bddbddb.Solver.load(Solver.java:374)
[java] at net.sf.bddbddb.Solver.load(Solver.java:356)
[java] at net.sf.bddbddb.Solver.main2(Solver.java:444)
[java] at net.sf.bddbddb.Solver.main(Solver.java:1092)

The new rule I added is following:
PstrUpdLV(p,lv) :- PputInstFldInst(p,v0,f,_),
PobjVarAsgnInst(_,v1,v0), VFLV(v1,f,lv).

Have you seen this error before? What might be causing this error?

Regards,
Arnab

[Mayur Naik]

Arnab,

This looks more about the bad domain name lv2lv1. Either you meant
them to be two different domains or you are not allowed numbers in the
middle of the domain name (2 in your case). The new rule does not seem
to have anything to do with this per se. Try using -Dstrict or
something like that for proactively finding such errors.

-- Mayur [sent from my phone]

> --
> You received this message because you are subscribed to the Google Groups "chord-discuss" group.
> To post to this group, send email to chord-...@googlegroups.com.
> To unsubscribe from this group, send email to chord-discus...@googlegroups.com.
> For more options, visit this group at http://groups.google.com/group/chord-discuss?hl=en.
>

[Arnab De]

Hi,
I do not have a domain named LV2LV1. I have a domain named LV. In
bddvarorder, I used LV0 and LV1 as there were relations with two
mentions of this domain. There is no LV2.

This link suggested adding extra domains in the bddvarorder to avoid
this problem: http://sel.ist.osaka-u.ac.jp/~ishio/bddbddb/pacs.datalog.txt

I added V2 and LV2 to the .bddvarorder (although they were not needed)
and the problem vanished! I do not have a clear explanation why this
happened. I'll look at code mentioned in the exception if I get some
time.

- Arnab

[Mayur Naik]

Arnab,

Thanks, I wasn't aware of this problem and never ran into it.  If you find the cause please let me know; the bddbddb source code is quite accessible.  It is all under trunk/libsrc/bddbddb/.

-- Mayur