本文整理汇总了Java中edu.cornell.cs.nlp.spf.mr.lambda.mapping.ScopeMapping.peekValue方法的典型用法代码示例。如果您正苦于以下问题：Java ScopeMapping.peekValue方法的具体用法？Java ScopeMapping.peekValue怎么用？Java ScopeMapping.peekValue使用的例子？那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类edu.cornell.cs.nlp.spf.mr.lambda.mapping.ScopeMapping的用法示例。
在下文中一共展示了ScopeMapping.peekValue方法的2个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: doEquals
import edu.cornell.cs.nlp.spf.mr.lambda.mapping.ScopeMapping; //导入方法依赖的package包/类
@Override
protected boolean doEquals(LogicalExpression exp,
ScopeMapping<Variable, Variable> mapping) {
if (!(exp instanceof Variable) || exp instanceof SkolemId) {
return false;
}
final Variable mapValue = mapping.peek(this);
if (mapValue == exp && mapping.peekValue(mapValue) == this) {
// Comparison through mapping of variables.
return true;
} else if (!mapping.containsValue((Variable) exp)) {
// Case both are not mapped, do instance comparison for free
// variables.
return exp == this;
} else {
// Not equal.
return false;
}
}
示例2: equals
import edu.cornell.cs.nlp.spf.mr.lambda.mapping.ScopeMapping; //导入方法依赖的package包/类
@Override
public boolean equals(LogicalExpression exp,
ScopeMapping<Variable, Variable> mapping) {
if (!(exp instanceof SkolemId)) {
return false;
}
final Variable mappedValue = mapping.peek(this);
if (mappedValue == exp && mapping.peekValue(mappedValue) == this) {
return true;
} else if (exp instanceof SkolemIdInstanceWrapper) {
return exp.equals(this, mapping);
} else if (!mapping.containsValue((SkolemId) exp)) {
mapping.push(this, (SkolemId) exp);
return true;
} else {
return false;
}
}