Examples of DistributeStatementExpansionRule

org.openbel.framework.core.compiler.expansion.DistributeStatementExpansionRule
For any terms A, B, and C, A -> (B -> C) implies B -> C, A -> C A -| (B -| C) implies B -| C, A -> C A -> (B -| C) implies B -| C, A -| C A -| (B -> C) implies B -> C, A -| C

Examples of org.openbel.framework.core.compiler.expansion.DistributeStatementExpansionRule

        Term a = new Term(PROTEIN_ABUNDANCE,
                Arrays.asList((BELObject) CommonModelFactory.getInstance()
                        .createParameter(null, "A")));
        Statement defStmt = new Statement(a);


        assertFalse(new DistributeStatementExpansionRule().match(defStmt));
    }

View Full Code Here

Examples of org.openbel.framework.core.compiler.expansion.DistributeStatementExpansionRule

                Arrays.asList((BELObject) CommonModelFactory.getInstance()
                        .createParameter(null, "B")));
        Statement simpleStmt = new Statement(a, null, null,
                new Statement.Object(b), INCREASES);


        assertFalse(new DistributeStatementExpansionRule().match(simpleStmt));
    }

View Full Code Here

Examples of org.openbel.framework.core.compiler.expansion.DistributeStatementExpansionRule

        Statement bc = new Statement(b, null, null, new Statement.Object(c),
                INCREASES);
        Statement abc = new Statement(a, null, null, new Statement.Object(bc),
                INCREASES);


        assertTrue(new DistributeStatementExpansionRule().match(abc));
    }

View Full Code Here

Examples of org.openbel.framework.core.compiler.expansion.DistributeStatementExpansionRule

        Statement bcde = new Statement(b, null, null,
                new Statement.Object(cde), INCREASES);
        Statement abcde = new Statement(a, null, null, new Statement.Object(
                bcde), INCREASES);


        assertFalse(new DistributeStatementExpansionRule().match(abcde));
    }

View Full Code Here

Examples of org.openbel.framework.core.compiler.expansion.DistributeStatementExpansionRule

                INCREASES);
        Statement abc = new Statement(a, null, null, new Statement.Object(bc),
                INCREASES);


        List<Statement> expansion = null;
        expansion = new DistributeStatementExpansionRule().expand(abc);


        assertNotNull(expansion);


        if (expansion != null) {
            assertEquals(2, expansion.size());

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.