List of addClause() Examples

Examples of addClause()

com.codicesoftware.plastic.query.WhereClauseBuilder.addClause()
kodkod.engine.satlab.SATSolver.addClause()
Ensures that this solver logically contains the given clause, and returns true if this.clauses changed as a result of the call. No reference to the specified array is kept, so it can be reused. The contents of the array may, however, be modified. It is the client's responsibility to ensure that no literals in the given array are repeated, or that both a literal and its negation are present. The behavior of this method is undefined if it is called after this.solve() has returned false. @requires all i: [0..lits.length) | abs(lits[i]) in this.variables @requires all disj i,j: [0..lits.length) | abs(lits[i]) != abs(lits[j]) @effects [[this.clauses']] = ([[this.clauses]] and [[lits]]) @return #this.clauses' > #this.clauses @throws NullPointerException - lits = null
org.apache.nutch.searcher.Query.addClause()
Add clause.
org.eclipse.cdt.core.dom.ast.cpp.ICPPASTInitializerList.addClause()
org.obolibrary.oboformat.model.Frame.addClause()
@param cl the clause
org.sat4j.pb.IPBSolver.addClause()
org.sat4j.pb.PseudoOptDecorator.addClause()
org.teiid.query.sql.lang.From.addClause()
Add a clause to the FROM @param clause Add a clause to the FROM
org.teiid.query.sql.lang.SetClauseList.addClause()
xbird.xquery.expr.flwr.FLWRExpr.addClause()

Examples of com.codicesoftware.plastic.query.WhereClauseBuilder.addClause()

                repositoryData.branch, repositoryData.repository, repositoryData.repositoryserver);
        List<VcsBranch> openBranches = new ArrayList<VcsBranch>();


        try {
            WhereClauseBuilder whereBuilder = new WhereClauseBuilder();
            whereBuilder.addClause("parent", "=", currentMainTrackedBranch.getFullBranchNameWithoutBranchPreffix());
            BranchInfo[] branchesByName = QueryCommands.GetBranches(Utils.getRepositorySpec(repositoryData), whereBuilder.getWhereString());
            log.debug("Getting open branches from branch"+ repositoryData.branch + ". Count: " + branchesByName.length);
            for(BranchInfo br : branchesByName) {
                openBranches.add(new VcsBranchImpl(br.getFullBranchNameWithoutBranchPreffix()));
            }

View Full Code Here

Examples of kodkod.engine.satlab.SATSolver.addClause()

          final int primary = translation.numPrimaryVariables();
          final int[] notModel = new int[primary];
          for(int i = 1; i <= primary; i++) {
            notModel[i-1] = cnf.valueOf(i) ? -i : i;
          }
          cnf.addClause(notModel);
          return sol;
        } else {
          formula = null; bounds = null; // unsat, no more solutions, free up some space
          return unsat(translation, stats);
        }

View Full Code Here

Examples of org.apache.nutch.searcher.Query.addClause()

            }
          }
                    
            if (newLength!=terms.length) {              
              if (newLength==1) {
                output.addClause(new Clause(terms[0], c.isRequired(), c.isProhibited(), c.getConf()));
                } 
              else {
                Term[] newTerms=new Term[newLength];
                System.arraycopy(terms, 0, newTerms, 0, newLength);
                    output.addClause(new Clause(new Phrase(newTerms), c.isRequired(), c.isProhibited(), c.getConf()));

View Full Code Here

Examples of org.eclipse.cdt.core.dom.ast.cpp.ICPPASTInitializerList.addClause()

    // Method body
    final StatementInfo statementInfo = new StatementInfo(methodDeclaration.getBody(), typeDeclaration, compilationUnitInfo);
    definition = f.newFunctionDefinition(declSpecifier, functionDeclarator, statementInfo.getStatement());
    if (methodDeclaration.isConstructor() && (enclosingType != null)) {
      final ICPPASTInitializerList initializerList = f.newInitializerList();
      initializerList.addClause(f.newIdExpression(f.newName("__parent".toCharArray())));
      definition.addMemberInitializer(f.newConstructorChainInitializer(f.newName("__parent".toCharArray()), initializerList));
    }
  }


  public ICPPASTFunctionDefinition getDefinition() {

View Full Code Here

Examples of org.obolibrary.oboformat.model.Frame.addClause()

                    Frame headerFrame = getObodoc().getHeaderFrame();
                    if (headerFrame == null) {
                        headerFrame = new Frame(FrameType.HEADER);
                        getObodoc().setHeaderFrame(headerFrame);
                    }
                    headerFrame.addClause(new Clause(
                            OboFormatTag.TAG_OWL_AXIOMS, axiomString));
                }
            } catch (OwlStringException e) {
                throw new OWLRuntimeException(e);
            }

View Full Code Here

Examples of org.sat4j.pb.IPBSolver.addClause()

          if (graph.containsEdge(u, v)) {
            for (int k = 1; k <= colors; k++) {
              IVecInt literals = new VecInt(2);
              literals.push(-(i * colors + k));
              literals.push(-(j * colors + k));
              solver.addClause(literals);
            }
          }
        }
      }

View Full Code Here

Examples of org.sat4j.pb.PseudoOptDecorator.addClause()

          if (graph.containsEdge(u, v)) {
            for (int k = 1; k <= colors; k++) {
              IVecInt literals = new VecInt(2);
              literals.push(-(i * colors + k));
              literals.push(-(j * colors + k));
              solver.addClause(literals);
            }
          }
        }
      }

View Full Code Here

Examples of org.teiid.query.sql.lang.From.addClause()

        CompareCriteria crit = new CompareCriteria(a, CompareCriteria.EQ, b);
        
        From from = new From();
        FromClause clause = new UnaryFromClause(g1);
        clause.setMakeNotDep(true);
        from.addClause(clause);
        FromClause clause1 = new UnaryFromClause(g2);
        clause1.setMakeNotDep(true);
        from.addClause(clause1);


        Select select = new Select();

View Full Code Here

Examples of org.teiid.query.sql.lang.From.addClause()

        FromClause clause = new UnaryFromClause(g1);
        clause.setMakeNotDep(true);
        from.addClause(clause);
        FromClause clause1 = new UnaryFromClause(g2);
        clause1.setMakeNotDep(true);
        from.addClause(clause1);


        Select select = new Select();
        select.addSymbol(a);                


        Query query = new Query();

View Full Code Here

Examples of org.teiid.query.sql.lang.From.addClause()

        List crits = new ArrayList();
        crits.add(new CompareCriteria(a, CompareCriteria.EQ, b));
        JoinPredicate jp = new JoinPredicate(new UnaryFromClause(g1), new UnaryFromClause(g2), JoinType.JOIN_INNER, crits);
        jp.getRightClause().setMakeDep(true);
        From from = new From();
        from.addClause(jp);


        Select select = new Select();
        select.addSymbol(a);


        Query query = new Query();

View Full Code Here

0 1 2 3 4 5

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.