Examples of Disjunction

Examples of org.jboss.dna.graph.query.model.FullTextSearch.Disjunction

90
91
92
93
94
95
96
            Term term = parseDisjunctedTerms(tokens);
            if (term == null) break;
            terms.add(term);
        } while (tokens.canConsume("OR"));
        if (terms.isEmpty()) return null;
        return terms.size() > 1 ? new Disjunction(terms) : terms.iterator().next();
    }
View Full Code Here

Examples of org.modeshape.jcr.query.model.FullTextSearch.Disjunction

143
144
145
146
147
148
149
150
151
152
153
154
    @Test
    public void shouldParseStringWithMultipleUnquotedANDedTermsORedTogether() {
        Term result = parser.parse("term1 term2 OR -term3 -term4");
        assertThat(result, is(notNullValue()));
        assertThat(result, is(instanceOf(Disjunction.class)));
        Disjunction disjunction = (Disjunction)result;
        assertThat(disjunction.getTerms().size(), is(2));
        Conjunction conjunction1 = (Conjunction)disjunction.getTerms().get(0);
        Conjunction conjunction2 = (Conjunction)disjunction.getTerms().get(1);
        assertHasSimpleTerms(conjunction1, "term1", "term2");
        assertHasSimpleTerms(conjunction2, "-term3", "term4");
    }
View Full Code Here

Examples of stanfordlogic.prover.Disjunction

367
368
369
370
371
372
373
374
375
376
377
            Expression [] disjuncts = new Expression[relation.getArity()];
           
            for ( int i = 1; i <= relation.getArity(); i++ )
                disjuncts[i-1] = examineRelation(relation.getElement(i));
           
            return new Disjunction(false, disjuncts);
        }
       
        // Second case: normal relation.
       
        // Make sure this symbol isn't a function/object symbol already.
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
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.