本文整理汇总了PHP中Problem::post方法的典型用法代码示例。如果您正苦于以下问题：PHP Problem::post方法的具体用法？PHP Problem::post怎么用？PHP Problem::post使用的例子？那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类Problem的用法示例。
在下文中一共展示了Problem::post方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的PHP代码示例。
示例1: VarInt
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
{