Search in sources :

Example 1 with NFC0

use of fr.lirmm.graphik.graal.homomorphism.forward_checking.NFC0 in project graal by graphik-team.

the class TestUtil method getHomomorphisms.

@SuppressWarnings({ "rawtypes" })
public static Homomorphism[] getHomomorphisms() {
    BCC bcc0 = new BCC(true);
    BCC bcc1 = new BCC(new GraphBaseBackJumping(), true);
    BCC bcc2 = new BCC(new GraphBaseBackJumping(), true);
    BCC bcc3 = new BCC(new GraphBaseBackJumping(), true);
    BCC bcc4 = new BCC(new GraphBaseBackJumping(), true);
    BCC bcc5 = new BCC(new GraphBaseBackJumping(), true);
    return new Homomorphism[] { SmartHomomorphism.instance(), RecursiveBacktrackHomomorphism.instance(), // Without Optimization
    new BacktrackHomomorphism(DefaultScheduler.instance(), StarBootstrapper.instance(), NoForwardChecking.instance(), NoBackJumping.instance()), // BackJumping
    new BacktrackHomomorphism(DefaultScheduler.instance(), StarBootstrapper.instance(), NoForwardChecking.instance(), new GraphBaseBackJumping()), // BCC
    new BacktrackHomomorphism(bcc0.getBCCScheduler(), StarBootstrapper.instance(), NoForwardChecking.instance(), bcc0.getBCCBackJumping()), new BacktrackHomomorphism(bcc1.getBCCScheduler(), StarBootstrapper.instance(), NoForwardChecking.instance(), bcc1.getBCCBackJumping()), // Forward Checking
    new BacktrackHomomorphism(DefaultScheduler.instance(), StarBootstrapper.instance(), new NFC0(), new GraphBaseBackJumping()), new BacktrackHomomorphism(DefaultScheduler.instance(), StarBootstrapper.instance(), new NFC2(), new GraphBaseBackJumping()), new BacktrackHomomorphism(DefaultScheduler.instance(), StarBootstrapper.instance(), new NFC2(true), new GraphBaseBackJumping()), new BacktrackHomomorphism(DefaultScheduler.instance(), StarBootstrapper.instance(), new SimpleFC(), new GraphBaseBackJumping()), new BacktrackHomomorphism(DefaultScheduler.instance(), StarBootstrapper.instance(), new NFC2WithLimit(8), new GraphBaseBackJumping()), // Bootstrapper
    new BacktrackHomomorphism(bcc2.getBCCScheduler(), StarBootstrapper.instance(), new NFC2(), bcc2.getBCCBackJumping()), new BacktrackHomomorphism(bcc3.getBCCScheduler(), StatBootstrapper.instance(), new NFC2(), bcc3.getBCCBackJumping()), new BacktrackHomomorphism(bcc4.getBCCScheduler(), DefaultBootstrapper.instance(), new NFC2(), bcc4.getBCCBackJumping()), new BacktrackHomomorphism(bcc5.getBCCScheduler(), AllDomainBootstrapper.instance(), new NFC2(), bcc5.getBCCBackJumping()) };
}
Also used : NFC0(fr.lirmm.graphik.graal.homomorphism.forward_checking.NFC0) BCC(fr.lirmm.graphik.graal.homomorphism.bbc.BCC) NFC2(fr.lirmm.graphik.graal.homomorphism.forward_checking.NFC2) SimpleFC(fr.lirmm.graphik.graal.homomorphism.forward_checking.SimpleFC) NFC2WithLimit(fr.lirmm.graphik.graal.homomorphism.forward_checking.NFC2WithLimit) RecursiveBacktrackHomomorphism(fr.lirmm.graphik.graal.homomorphism.RecursiveBacktrackHomomorphism) BacktrackHomomorphism(fr.lirmm.graphik.graal.homomorphism.BacktrackHomomorphism) SmartHomomorphism(fr.lirmm.graphik.graal.homomorphism.SmartHomomorphism) RecursiveBacktrackHomomorphism(fr.lirmm.graphik.graal.homomorphism.RecursiveBacktrackHomomorphism) Homomorphism(fr.lirmm.graphik.graal.api.homomorphism.Homomorphism) BacktrackHomomorphism(fr.lirmm.graphik.graal.homomorphism.BacktrackHomomorphism) GraphBaseBackJumping(fr.lirmm.graphik.graal.homomorphism.backjumping.GraphBaseBackJumping)

Aggregations

Homomorphism (fr.lirmm.graphik.graal.api.homomorphism.Homomorphism)1 BacktrackHomomorphism (fr.lirmm.graphik.graal.homomorphism.BacktrackHomomorphism)1 RecursiveBacktrackHomomorphism (fr.lirmm.graphik.graal.homomorphism.RecursiveBacktrackHomomorphism)1 SmartHomomorphism (fr.lirmm.graphik.graal.homomorphism.SmartHomomorphism)1 GraphBaseBackJumping (fr.lirmm.graphik.graal.homomorphism.backjumping.GraphBaseBackJumping)1 BCC (fr.lirmm.graphik.graal.homomorphism.bbc.BCC)1 NFC0 (fr.lirmm.graphik.graal.homomorphism.forward_checking.NFC0)1 NFC2 (fr.lirmm.graphik.graal.homomorphism.forward_checking.NFC2)1 NFC2WithLimit (fr.lirmm.graphik.graal.homomorphism.forward_checking.NFC2WithLimit)1 SimpleFC (fr.lirmm.graphik.graal.homomorphism.forward_checking.SimpleFC)1