Examples with ForgetfulVisitedStateStore il.ac.bgu.cs.bp.bpjs.analysis.ForgetfulVisitedStateStore used on opensource projects

Example 1 with ForgetfulVisitedStateStore

use of il.ac.bgu.cs.bp.bpjs.analysis.ForgetfulVisitedStateStore in project BPjs by bThink-BGU.

the class StateStorePerformanceComparison method main.

public static void main(String[] args) throws Exception {
    if (args.length == 1) {
        MAZE_NAME = args[0];
    }
    // prepare verifier
    DfsBProgramVerifier verifier = new DfsBProgramVerifier();
    verifier.setDetectDeadlocks(false);
    // test
    verifier.setVisitedNodeStore(new BProgramStateVisitedStateStore(false));
    runVerifier(verifier);
    verifier.setVisitedNodeStore(new BProgramStateVisitedStateStore(true));
    runVerifier(verifier);
    verifier.setVisitedNodeStore(new ForgetfulVisitedStateStore());
    runVerifier(verifier);
}