本文整理汇总了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;
}