Returns a full model in all variables for the given BDD.
@param r the BDD root node
@return a full model of this BDD
541548
public int fullSatOne(final int r) {
    if (r == 0)
      return 0;
    initRef();
    int res = fullSatOneRec(r);
    for (int v = level(r) - 1; v >= 0; v--)
      res = pushRef(makeNode(v, res, 0));
    return res;
  }
1137515
public Iterable<RuleProviderExecutionStatisticsModel> findAllOrderedByIndex()
    {
        List<RuleProviderExecutionStatisticsModel> immutableList = findAll();
        List<RuleProviderExecutionStatisticsModel> mutableList = new ArrayList<>(immutableList.size());
        mutableList.addAll(immutableList);

        Collections.sort(mutableList, Comparator.comparingInt(RuleProviderExecutionStatisticsModel::getRuleIndex));
        return mutableList;
    }
1303015
public Assignment model(final BDD bdd) {
    final int modelBDD = this.kernel.satOne(bdd.index());
    return createAssignment(modelBDD);
  }
860747
@Override
	public String getFullPredString()
	{
		if (valuetree.getPredicate() == null)
		{
			return "";
		}
		String result = valuetree.getPredicate().toString();
		return result;
	}
337513
public Map<String, SDVariable> variableMap() {
        Map<String,SDVariable> ret = new LinkedHashMap<>();
        for(Variable v : variables.values()){
            ret.put(v.getName(), v.getVariable());
        }
        return ret;
    }
258051
protected IConceptSet getB(int A, int r) {
        if (A >= CONCEPTS) {
            resizeConcepts(A);
        }
        if (r >= ROLES) {
            resizeRoles(r);
        }
        final int index = indexOf(A, r);
        if (null == data[index]) {
            data[index] = new SparseConceptSet();
            addRole(r);

            if (null != base && index < base.length && null != base[index]) {
                data[index].addAll(base[index]);
            }
        }
        return data[index];
    }
1324416
public Relation<K,V> create(Relation<K,V> r) {
	// default implementation
	Relation<K,V> r2 = this.create();
	for(K key : r.keys()) {
	    r2.addAll(key, r.getValues(key));
	}
	return r2;
    }
1657
public static Builder builder(final Resource r) {
        return builder(r.getIdentifier()).interactionModel(r.getInteractionModel())
                        .container(r.getContainer().orElse(null))
                        .memberRelation(r.getMemberRelation().orElse(null))
                        .membershipResource(r.getMembershipResource().orElse(null))
                        .memberOfRelation(r.getMemberOfRelation().orElse(null))
                        .insertedContentRelation(r.getInsertedContentRelation().orElse(null));
    }
740103
public SDVariable rarg() {
        val args = args();
        if(args == null || args.length != 2)
            throw new ND4JIllegalStateException("In order to use this function, the number of arguments for this function must be 2.");
        return args[1];
    }
838500
@Override
    public DMatrixRMaj getR(DMatrixRMaj R, boolean compact) {
        if( R == null ) {
            if( compact ) {
                R = new DMatrixRMaj(minLength,numCols);
            } else
                R = new DMatrixRMaj(numRows,numCols);
        } else {
            if( compact ) {
                R.reshape(minLength,numCols);
            } else {
                R.reshape(numRows,numCols);
            }

            for( int i = 0; i < R.numRows; i++ ) {
                int min = Math.min(i,R.numCols);
                for( int j = 0; j < min; j++ ) {
                    R.unsafe_set(i,j,0);
                }
            }
        }

        for( int i = 0; i < R.numRows; i++ ) {
            for( int j = i; j < R.numCols; j++ ) {
                R.unsafe_set(i,j,QR.unsafe_get(j,i));
            }
        }


        return R;
    }
201336
public List<byte[]> allSat(final int r) {
    final byte[] allsatProfile = new byte[this.varnum];
    for (int v = level(r) - 1; v >= 0; --v)
      allsatProfile[this.level2var[v]] = -1;
    initRef();
    final List<byte[]> allSat = new LinkedList<>();
    allSatRec(r, allSat, allsatProfile);
    return allSat;
  }
358574
public static List<OrderingResult> getOrderingResults(Result r) {
    if(r instanceof OrderingResult) {
      List<OrderingResult> ors = new ArrayList<>(1);
      ors.add((OrderingResult) r);
      return ors;
    }
    if(r instanceof HierarchicalResult) {
      return filterResults(((HierarchicalResult) r).getHierarchy(), r, OrderingResult.class);
    }
    return Collections.emptyList();
  }
509587
public MultiVariable getRootVariable() {
		Variable aux = this;
		while (aux.getParentVariable() != null) {
			aux = aux.getParentVariable();
		}
		return (MultiVariable)aux;
	}
874132
private DefaultTreeModel getTreeModel() {
        if (treeModel == null) {
            treeModel = new DefaultTreeModel(getRootNode());
            treeModel.setRoot(getRootNode());
        }
        
        return treeModel;
    }
580348
def get_branching_model(self, project, repository):
        
        url = 'rest/branch-utils/1.0/projects/{project}/repos/{repository}/branchmodel/configuration'.format(
            project=project,
            repository=repository)
        return self.get(url)
1112754
public SortedMap<Variable, Integer> variableProfile(final BDD bdd) {
    final int[] varProfile = this.kernel.varProfile(bdd.index());
    final SortedMap<Variable, Integer> profile = new TreeMap<>();
    for (int i = 0; i < varProfile.length; i++) {
      profile.put(this.idx2var.get(i), varProfile[i]);
    }
    return profile;
  }
1020738
public static List<CollectionResult<?>> getCollectionResults(Result r) {
    if(r instanceof CollectionResult<?>) {
      List<CollectionResult<?>> crs = new ArrayList<>(1);
      crs.add((CollectionResult<?>) r);
      return crs;
    }
    if(r instanceof HierarchicalResult) {
      return filterResults(((HierarchicalResult) r).getHierarchy(), r, CollectionResult.class);
    }
    return Collections.emptyList();
  }