本文整理匯總了Java中edu.cornell.cs.nlp.spf.mr.language.type.Type.getRange方法的典型用法代碼示例。如果您正苦於以下問題：Java Type.getRange方法的具體用法？Java Type.getRange怎麽用？Java Type.getRange使用的例子？那麽, 這裏精選的方法代碼示例或許可以為您提供幫助。您也可以進一步了解該方法所在類edu.cornell.cs.nlp.spf.mr.language.type.Type的用法示例。
在下文中一共展示了Type.getRange方法的4個代碼示例，這些例子默認根據受歡迎程度排序。您可以為喜歡或者感覺有用的代碼點讚，您的評價將有助於係統推薦出更棒的Java代碼示例。
示例1: isPartialLiteral
import edu.cornell.cs.nlp.spf.mr.language.type.Type; //導入方法依賴的package包/類
protected boolean isPartialLiteral(Literal literal) {
// Count number of arguments on predicate type
Type type = literal.getPredicateType();
int numArgs = 0;
while (type.isComplex()) {
if (type instanceof RecursiveComplexType) {
numArgs += ((RecursiveComplexType) type).getMinArgs();
type = ((RecursiveComplexType) type).getFinalRange();
} else {
++numArgs;
type = type.getRange();
}
}
return literal.numArgs() < numArgs;
}
示例2: getFinalType
import edu.cornell.cs.nlp.spf.mr.language.type.Type; //導入方法依賴的package包/類
public static Type getFinalType(Type type) {
Type currentType = type;
while (!(currentType instanceof RecursiveComplexType)
&& currentType.isComplex()) {
currentType = currentType.getRange();
}
return currentType;
}
示例3: typeShiftSemantics
import edu.cornell.cs.nlp.spf.mr.language.type.Type; //導入方法依賴的package包/類
/**
* (lambda $0:x (g $0)) ==> (lambda $0:<x,t> (lambda $1:x (and:<t*,t> ($0
* $1) (g $1))))
*/
protected LogicalExpression typeShiftSemantics(LogicalExpression sem) {
final Type semType = sem.getType();
final Type range = semType.getRange();
if (semType.isComplex()
&& range.equals(LogicLanguageServices.getTypeRepository()
.getTruthValueType())) {
// Make sure the expression is wrapped with lambda operators, since
// the variables are required
final Lambda lambda = (Lambda) sem;
// Variable for the new outer lambda
final Variable outerVariable = new Variable(LogicLanguageServices
.getTypeRepository().getTypeCreateIfNeeded(
LogicLanguageServices.getTypeRepository()
.getTruthValueType(),
lambda.getArgument().getType()));
// Create the literal applying the function to the original
// argument
final LogicalExpression[] args = new LogicalExpression[1];
args[0] = lambda.getArgument();
final Literal newLiteral = new Literal(outerVariable, args);
// Create the conjunction of newLitral and the original body
final Literal conjunction = new Literal(
LogicLanguageServices.getConjunctionPredicate(),
ArrayUtils.create(newLiteral, lambda.getBody()));
// The new inner lambda
final Lambda innerLambda = new Lambda(lambda.getArgument(),
conjunction);
// The new outer lambda
final Lambda outerLambda = new Lambda(outerVariable, innerLambda);
// Simplify the output and return it
final LogicalExpression ret = Simplify.of(outerLambda);
return ret;
}
return null;
}
示例4: typeShiftSemantics
import edu.cornell.cs.nlp.spf.mr.language.type.Type; //導入方法依賴的package包/類
/**
* (lambda $0:x (g $0)) ==> (lambda $0:<x,t> (lambda $1:x (and:<t*,t> ($0
* $1) (g $1))))
*/
protected LogicalExpression typeShiftSemantics(LogicalExpression sem) {
final Type semType = sem.getType();
final Type range = semType.getRange();
if (semType.isComplex() && range.equals(LogicLanguageServices
.getTypeRepository().getTruthValueType())) {
// Make sure the expression is wrapped with lambda operators, since
// the variables are required
final Lambda lambda = (Lambda) sem;
// Variable for the new outer lambda
final Variable outerVariable = new Variable(LogicLanguageServices
.getTypeRepository().getTypeCreateIfNeeded(
LogicLanguageServices.getTypeRepository()
.getTruthValueType(),
lambda.getArgument().getType()));
// Create the literal applying the function to the original
// argument
final LogicalExpression[] args = new LogicalExpression[1];
args[0] = lambda.getArgument();
final Literal newLiteral = new Literal(outerVariable, args);
// Create the conjunction of newLitral and the original body
final Literal conjunction = new Literal(
LogicLanguageServices.getConjunctionPredicate(),
ArrayUtils.create(newLiteral, lambda.getBody()));
// The new inner lambda
final Lambda innerLambda = new Lambda(lambda.getArgument(),
conjunction);
// The new outer lambda
final Lambda outerLambda = new Lambda(outerVariable, innerLambda);
// Simplify the output and return it
final LogicalExpression ret = Simplify.of(outerLambda);
return ret;
}
return null;
}