Assertion `typeId == vgt->typeId' failed."

[GoogleCodeExporter]

What steps will reproduce the problem?
1. learnwts: ../src/logic/clause.h:1186: static void Clause::addVarId(Term* 
const&, const int&, const Domain* const&, Array<VarsGroundedType*>*&): 
Assertion `typeId == vgt->typeId' failed.
Aborted
2.
3.

What is the expected output? What do you see instead?


What version of the product are you using? On what operating system?


Please provide any additional information below.

Original issue reported on code.google.com by wyuanyua...@gmail.com on 3 Dec 2013 at 2:15

Attachments:

• ontomap-train.db
• ontomap.mln