本文整理汇总了C#中Constraint.isSatisfiedWith方法的典型用法代码示例。如果您正苦于以下问题：C# Constraint.isSatisfiedWith方法的具体用法？C# Constraint.isSatisfiedWith怎么用？C# Constraint.isSatisfiedWith使用的例子？那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类Constraint的用法示例。
在下文中一共展示了Constraint.isSatisfiedWith方法的4个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的C#代码示例。
示例1: satisfies
public bool satisfies(Constraint constraint)
{
if (isComplete())
{
for (int j = 0; j < getVariables().Count; j++)
{
string variable = getVariables()[j].ToString();
Object value = getAssignment(variable);
if (!(constraint.isSatisfiedWith(this, variable, value)))
{
return false;
}
}
return true;
}
else
{
return false;
}
}示例2: revise
private bool revise(Variable xi, Variable xj, Constraint constraint,
CSP csp, DomainRestoreInfo info)
{
bool revised = false;
Assignment assignment = new Assignment();
foreach (Object iValue in csp.getDomain(xi))
{
assignment.setAssignment(xi, iValue);
bool consistentExtensionFound = false;
foreach (Object jValue in csp.getDomain(xj))
{
assignment.setAssignment(xj, jValue);
if (constraint.isSatisfiedWith(assignment))
{
consistentExtensionFound = true;
break;
}
}
if (!consistentExtensionFound)
{
info.storeDomainFor(xi, csp.getDomain(xi));
csp.removeValueFromDomain(xi, iValue);
revised = true;
}
}
return revised;
}示例3: getConflictedVariables
public ArrayList getConflictedVariables(Constraint constraint)
{
ArrayList conflictedVariables = new ArrayList();
for (int j = 0; j < getVariables().Count; j++)
{
string variable = getVariables()[j].ToString();
Object value = getAssignment(variable);
if (!(constraint.isSatisfiedWith(this, variable, value)))
{
conflictedVariables.Add(variable);
}
}
return conflictedVariables;
}示例4: revise
private bool revise(Variable var, Constraint constraint,
Assignment assignment, CSP csp, DomainRestoreInfo info)
{
bool revised = false;
foreach (Object value in csp.getDomain(var))
{
assignment.setAssignment(var, value);
if (!constraint.isSatisfiedWith(assignment))
{
info.storeDomainFor(var, csp.getDomain(var));
csp.removeValueFromDomain(var, value);
revised = true;
}
assignment.removeAssignment(var);
}
return revised;
}