本文整理匯總了Java中ap.parser.IIntLit類的典型用法代碼示例。如果您正苦於以下問題：Java IIntLit類的具體用法？Java IIntLit怎麽用？Java IIntLit使用的例子？那麽, 這裏精選的類代碼示例或許可以為您提供幫助。
IIntLit類屬於ap.parser包，在下文中一共展示了IIntLit類的6個代碼示例，這些例子默認根據受歡迎程度排序。您可以為喜歡或者感覺有用的代碼點讚，您的評價將有助於係統推薦出更棒的Java代碼示例。
示例1: evaluate
import ap.parser.IIntLit; //導入依賴的package包/類
public ProverExpr evaluate(ProverExpr expr) {
if (expr instanceof TermExpr)
return new TermExpr(new IIntLit(api.eval(((TermExpr) expr).term)),
((TermExpr) expr).getType());
else
return new FormulaExpr(new IBoolLit(
api.eval(((FormulaExpr) expr).formula)));
}
示例2: makeApp
import ap.parser.IIntLit; //導入依賴的package包/類
@Override
public IExpression makeApp(PrincessEnvironment env, List<IExpression> args) {
Preconditions.checkArgument(args.size() == 2);
if (args.get(0) instanceof IIntLit) {
return new ITimes(((IIntLit) args.get(0)).value(), (ITerm) args.get(1));
} else if (args.get(1) instanceof IIntLit) {
return new ITimes(((IIntLit) args.get(1)).value(), (ITerm) args.get(0));
} else {
throw new AssertionError("unexpected args for multiplication");
}
}
示例3: mkLiteral
import ap.parser.IIntLit; //導入依賴的package包/類
public ProverExpr mkLiteral(int value) {
return new TermExpr(new IIntLit(IdealInt$.MODULE$.apply(value)),
getIntType());
}
示例4: getIntLiteralValue
import ap.parser.IIntLit; //導入依賴的package包/類
public BigInteger getIntLiteralValue() {
if (term instanceof IIntLit)
return new BigInteger(((IIntLit) term).value().toString());
throw new RuntimeException();
}
示例5: makeNumberImpl
import ap.parser.IIntLit; //導入依賴的package包/類
@Override
protected ITerm makeNumberImpl(long i) {
return new IIntLit(IdealInt.apply(i));
}
示例6: isNumeral
import ap.parser.IIntLit; //導入依賴的package包/類
@Override
protected boolean isNumeral(IExpression val) {
return val instanceof IIntLit;
}