pascal-lab/Tai-e-assignments

A4: icfg has no nodes

LuoRongLuoRong opened this issue · 1 comments

In interSolver::initialize() method, I iterate icfg to init in/out fact, but I find icfg has no nodes.
I have been stuck on this for two days and still have no idea how to solve it.

Well, the reason is that I did not add readchable methods in chabuilder.