List of arity() Examples

Examples of arity()

com.ericsson.otp.erlang.OtpErlangList.arity()
Get the arity of the list. @return the number of elements contained in the list.
com.ericsson.otp.erlang.OtpErlangLong.arity()
com.ericsson.otp.erlang.OtpErlangMap.arity()
Get the arity of the map. @return the number of elements contained in the map.
com.ericsson.otp.erlang.OtpErlangTuple.arity()
Get the arity of the tuple. @return the number of elements contained in the tuple.
com.googlecode.prolog_cafe.lang.Term.arity()
edu.mit.csail.sdg.alloy4compiler.ast.Type.arity()
If every entry has the same arity, that arity is returned;
else if some entries have different arities, we return -1;
else we return 0 (which only happens when there are no entries at all).
edu.mit.csail.sdg.alloy4compiler.translator.A4Tuple.arity()
Returns the arity.
edu.mit.csail.sdg.alloy4compiler.translator.A4TupleSet.arity()
Returns the arity.
erjang.ETuple.arity()
io.airlift.airline.Option.arity()
jcgp.backend.resources.Resources.arity()
@return the maximum arity out of the function set.
joshua.corpus.MatchedHierarchicalPhrases.arity()
joshua.corpus.suffix_array.HierarchicalPhrases.arity()
joshua.corpus.suffix_array.Pattern.arity()
kodkod.ast.Expression.arity()
Returns the arity of this expression. @return this.arity
kodkod.ast.Relation.arity()
kodkod.instance.Tuple.arity()
Returns the arity of this tuple. @return this.arity
kodkod.instance.TupleSet.arity()
Returns this.arity @return this.arity
net.fortytwo.ripple.model.StackMapping.arity()
@return the fixed number of arguments which this function consumes before computing a result.
org.apache.pig.data.ExampleTuple.arity()
org.apache.pig.data.Tuple.arity()
org.eclipse.imp.pdb.facts.IConstructor.arity()
org.eclipse.imp.pdb.facts.INode.arity()
org.eclipse.imp.pdb.facts.ITuple.arity()
org.ggp.base.util.gdl.grammar.GdlFunction.arity()
org.ggp.base.util.gdl.grammar.GdlOr.arity()
org.ggp.base.util.gdl.grammar.GdlRelation.arity()
org.ggp.base.util.gdl.grammar.GdlRule.arity()
org.ggp.base.util.gdl.grammar.GdlSentence.arity()
org.jruby.runtime.Block.arity()
What is the arity of this block? @return the arity
solver.constraints.Propagator.arity()
@return the number of uninstantiated variables

Examples of org.eclipse.imp.pdb.facts.INode.arity()

    }
    
    // if the names are not ordered, then we order lexicographically on the arguments:
    
    int leftArity = left.arity();
    int rightArity = right.arity();
    
    if (leftArity < rightArity) {
      return new LessThanOrEqualResult(true, false, ctx);
    }

View Full Code Here

Examples of org.eclipse.imp.pdb.facts.INode.arity()


  private IValue traverseNodeOnce(IValue subject, CaseBlockList casesOrRules,
      DIRECTION direction, PROGRESS progress, FIXEDPOINT fixedpoint, TraverseResult tr) {
    IValue result;
    INode node = (INode)subject;
    if (node.arity() == 0 && !(node.mayHaveKeywordParameters() && node.asWithKeywordParameters().hasParameters()) ){
      result = subject;
    } 
    else {
      IValue args[] = new IValue[node.arity()];
      Map<String, IValue> kwParams = null;

View Full Code Here

Examples of org.eclipse.imp.pdb.facts.INode.arity()

    INode node = (INode)subject;
    if (node.arity() == 0 && !(node.mayHaveKeywordParameters() && node.asWithKeywordParameters().hasParameters()) ){
      result = subject;
    } 
    else {
      IValue args[] = new IValue[node.arity()];
      Map<String, IValue> kwParams = null;
      if (node.mayHaveKeywordParameters() && node.asWithKeywordParameters().hasParameters()) {
        kwParams = new HashMap<>();
      }
      boolean hasChanged = false;

View Full Code Here

Examples of org.eclipse.imp.pdb.facts.INode.arity()

        kwParams = new HashMap<>();
      }
      boolean hasChanged = false;
      boolean hasMatched = false;
      
      for (int i = 0; i < node.arity(); i++){
        IValue child = node.get(i);
        tr.changed = false;
        tr.matched = false;
        args[i] = traverseOnce(child, casesOrRules, direction, progress, fixedpoint, tr);
        hasChanged |= tr.changed;

View Full Code Here

Examples of org.eclipse.imp.pdb.facts.ITuple.arity()

  }
  
  @Override
  protected LessThanOrEqualResult lessThanOrEqualTuple(TupleResult that) {
    ITuple left = that.getValue();
    int leftArity = left.arity();
    ITuple right = getValue();
    int rightArity = right.arity();
    
    for (int i = 0; i < Math.min(leftArity, rightArity); i++) {
       IValue leftArg = left.get(i);

View Full Code Here

Examples of org.eclipse.imp.pdb.facts.ITuple.arity()

  @Override
  protected LessThanOrEqualResult lessThanOrEqualTuple(TupleResult that) {
    ITuple left = that.getValue();
    int leftArity = left.arity();
    ITuple right = getValue();
    int rightArity = right.arity();
    
    for (int i = 0; i < Math.min(leftArity, rightArity); i++) {
       IValue leftArg = left.get(i);
       IValue rightArg = right.get(i);
       LessThanOrEqualResult loe = makeResult(leftArg.getType(), leftArg, ctx).lessThanOrEqual(makeResult(rightArg.getType(), rightArg,ctx));

View Full Code Here

Examples of org.eclipse.imp.pdb.facts.ITuple.arity()

      } else if (rec.getType().isTuple()
          && subscript.getType().isInteger()) {
        int index = ((IInteger) subscript.getValue()).intValue();
        ITuple tuple = (ITuple) rec.getValue();


        if (index >= tuple.arity()) {
          throw org.rascalmpl.interpreter.utils.RuntimeExceptionFactory
              .indexOutOfBounds((IInteger) subscript.getValue(),
                  __eval.__getEval().getCurrentAST(), __eval
                      .__getEval().getStackTrace());
        }

View Full Code Here

Examples of org.eclipse.imp.pdb.facts.ITuple.arity()

    // {tuple: [ ... ]}
    out.beginArray()
      .value("tuple");
    out.beginArray();
    ITuple t = (ITuple) value;
    for (int i = 0; i < t.arity(); i++) {
      write(out, t.get(i));
    }
    out.endArray();
    out.endArray();
    return null;

View Full Code Here

Examples of org.eclipse.imp.pdb.facts.ITuple.arity()


  private IValue traverseTupleOnce(IValue subject, CaseBlockList casesOrRules,
      DIRECTION direction, PROGRESS progress, FIXEDPOINT fixedpoint, TraverseResult tr) {
    IValue result;
    ITuple tuple = (ITuple) subject;
    int arity = tuple.arity();
    IValue args[] = new IValue[arity];
    boolean hasMatched = false;
    boolean hasChanged = false;

View Full Code Here

Examples of org.ggp.base.util.gdl.grammar.GdlFunction.arity()

            //Just a constant
        }
        else if(gdl instanceof GdlFunction)
        {
            GdlFunction func = (GdlFunction)gdl;
            for(int i=0; i<func.arity(); i++)
            {
                Location parent = new Location();
                parent.name = func.getName();
                parent.idx = i;
                rval.addAll(findAllInstancesOf(var, func.get(i), parent));

View Full Code Here

0 1 2 3 4 5 6 7

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.