Examples with TypeReconstructor jkind.lustre.visitors.TypeReconstructor used on opensource projects

Example 1 with TypeReconstructor

use of jkind.lustre.visitors.TypeReconstructor in project AGREE by loonwerks.

the class GenerateUfcObligationsVisitor method visit.

// under the covers stuff...not meant to be called by 'user'.
@Override
public ObligationSet visit(Program program) {
    typeReconstructor = new TypeReconstructor(program);
    Iterator<Node> iterator = program.nodes.iterator();
    while (iterator.hasNext()) {
        iterator.next().accept(this);
    }
    return null;
}