Searched refs:currentvar (Results 1 – 6 of 6) sorted by relevance
| /dports/science/buddy/buddy-2.4/examples/solitare/ |
| H A D | solitare.cxx | 17 bdd currentvar; // All current state variables variable
137 currentvar = bddtrue; in make_itedata()
139 currentvar &= boardC[n]; in make_itedata()
155 bdd next = bdd_appex(reachable, T, bddop_and, currentvar); in iterate()
180 bdd next = bdd_appex(front, T, bddop_and, currentvar); in iterate_front()
|
| /dports/math/spot/spot-2.10.2/buddy/examples/solitare/ |
| H A D | solitare.cxx | 21 bdd currentvar; // All current state variables variable
141 currentvar = bddtrue; in make_itedata()
143 currentvar &= boardC[n]; in make_itedata()
159 bdd next = bdd_appex(reachable, T, bddop_and, currentvar); in iterate()
184 bdd next = bdd_appex(front, T, bddop_and, currentvar); in iterate_front()
|
| /dports/math/py-spot/spot-2.10.2/buddy/examples/solitare/ |
| H A D | solitare.cxx | 21 bdd currentvar; // All current state variables variable
141 currentvar = bddtrue; in make_itedata()
143 currentvar &= boardC[n]; in make_itedata()
159 bdd next = bdd_appex(reachable, T, bddop_and, currentvar); in iterate()
184 bdd next = bdd_appex(front, T, bddop_and, currentvar); in iterate_front()
|
| /dports/net-mgmt/net-snmp/net-snmp-5.9/local/ |
| H A D | mib2c | 871 \$currentvar, $scalar);
905 \$currentvar, $varbind);
953 \$currentvar, $column);
980 my @keys = sort { $SNMP::MIB{$currentvar}{'enums'}{$a} <=>
981 $SNMP::MIB{$currentvar}{'enums'}{$b} } (keys(%{$SNMP::MIB{$currentvar}{'enums'}}));
987 $SNMP::MIB{$currentvar}{'enums'}{$enum});
|
| /dports/math/SCIP/scip-7.0.3/src/scip/ |
| H A D | cons_knapsack.c | 1643 int currentvar; in GUBsetPrint() local
1645 currentvar = gubset->gubconss[c]->gubvars[v]; in GUBsetPrint()
1648 gubsolval += solvals[currentvar]; in GUBsetPrint()
1649 … SCIPdebugMsg(scip, " +<%s>(%4.2f)\n", SCIPvarGetName(vars[currentvar]), solvals[currentvar]); in GUBsetPrint()
1653 SCIPdebugMsg(scip, " +<%s>\n", SCIPvarGetName(vars[currentvar])); in GUBsetPrint()
|
| /dports/net-mgmt/net-snmp/net-snmp-5.9/ |
| H A D | ChangeLog | 124377 rename istable to iscolumn; add enums; add currentvar; fix enum dump to work
|