本文整理匯總了PHP中Problem::postAllDiff方法的典型用法代碼示例。如果您正苦於以下問題：PHP Problem::postAllDiff方法的具體用法？PHP Problem::postAllDiff怎麽用？PHP Problem::postAllDiff使用的例子？那麽, 這裏精選的方法代碼示例或許可以為您提供幫助。您也可以進一步了解該方法所在類Problem的用法示例。
在下文中一共展示了Problem::postAllDiff方法的1個代碼示例，這些例子默認根據受歡迎程度排序。您可以為喜歡或者感覺有用的代碼點讚，您的評價將有助於係統推薦出更棒的PHP代碼示例。
示例1: VarInt
ConstraintGlobalCardinality
ConstraintIfThen
ConstraintMax
ConstraintMin
*/
$int1 = new VarInt();
$int1->setValue(range(1, 10));
$int2 = new VarInt();
$int2->setValue(range(1, 10));
$res = $int1->plus($int2);
var_dump($res->getValue());
$p = new Problem();
$a = $p->variable('A', 1, 10);
$b = $p->variable('B', 1, 10);
$c = $a->plus($b);
$p->postAllDiff($c);
$p->post($c, "<", 15);
class DomainType
{
const DOMAIN_SMALL = 1;
const DOMAIN_MIN_MAX = 2;
const DOMAIN_SPARSE = 3;
const DOMAIN_OTHER = 4;
}
abstract class Constraint
{
}
class AllDifferentConstraint extends Constraint
{
}
abstract class ConstrainedVariable