Examples of ILogical

solver.constraints.nary.cnf.ILogical

@author Charles Prud'homme @since 23 nov. 2010

Examples of solver.constraints.nary.cnf.ILogical

        BoolVar d = VariableFactory.bool("d", solver);




        LogOp root = LogOp.nand(LogOp.nor(a, b), LogOp.or(c, d));


        ILogical l = LogicTreeToolBox.toCNF(root, solver);


        Assert.assertEquals(l.toString(), "((b or a or not(c)) and (b or a or not(d)))");
    }

View Full Code Here

Examples of solver.constraints.nary.cnf.ILogical

        BoolVar e = VariableFactory.bool("e", solver);




        LogOp root = LogOp.and(LogOp.nand(LogOp.nor(a, b), LogOp.or(c, d)), e);


        ILogical l = LogicTreeToolBox.toCNF(root, solver);


        Assert.assertEquals(l.toString(), "(e and (b or a or not(c)) and (b or a or not(d)))");
    }

View Full Code Here

Examples of solver.constraints.nary.cnf.ILogical

        BoolVar a = VariableFactory.bool("a", solver);
        BoolVar b = VariableFactory.bool("b", solver);


        LogOp root = LogOp.implies(a, b);


        ILogical l = LogicTreeToolBox.toCNF(root, solver);


        Assert.assertEquals(l.toString(), "(b or not(a))");
    }

View Full Code Here

Examples of solver.constraints.nary.cnf.ILogical

        BoolVar c = VariableFactory.bool("c", solver);




        LogOp root = LogOp.ifThenElse(a, b, c);


        ILogical l = LogicTreeToolBox.toCNF(root, solver);


        Assert.assertEquals(l.toString(), "((a or c) and (b or not(a)) and (b or c))");
    }

View Full Code Here

Examples of solver.constraints.nary.cnf.ILogical

        BoolVar c = VariableFactory.bool("c", solver);
        BoolVar d = VariableFactory.bool("d", solver);


        LogOp root = LogOp.and(LogOp.or(a, b, na), LogOp.or(c, d), LogOp.or(b, nb));


        ILogical l = LogicTreeToolBox.toCNF(root, solver);


        Assert.assertEquals(l.toString(), "(c or d)");
    }

View Full Code Here

Examples of solver.constraints.nary.cnf.ILogical

        BoolVar c = VariableFactory.bool("c", solver);
        BoolVar d = VariableFactory.bool("d", solver);


        LogOp root = LogOp.and(a, b, na, c, d);


        ILogical l = LogicTreeToolBox.toCNF(root, solver);


        Assert.assertEquals(l.toString(), "cste -- 0");
    }

View Full Code Here

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.