本文整理匯總了Java中ap.parser.IFormulaITE類的典型用法代碼示例。如果您正苦於以下問題：Java IFormulaITE類的具體用法？Java IFormulaITE怎麽用？Java IFormulaITE使用的例子？那麽, 這裏精選的類代碼示例或許可以為您提供幫助。
IFormulaITE類屬於ap.parser包，在下文中一共展示了IFormulaITE類的3個代碼示例，這些例子默認根據受歡迎程度排序。您可以為喜歡或者感覺有用的代碼點讚，您的評價將有助於係統推薦出更棒的Java代碼示例。
示例1: mkIte
import ap.parser.IFormulaITE; //導入依賴的package包/類
public ProverExpr mkIte(ProverExpr cond, ProverExpr thenExpr,
ProverExpr elseExpr) {
if (thenExpr instanceof TermExpr)
return new TermExpr(new ITermITE(((FormulaExpr) cond).formula,
((TermExpr) thenExpr).term, ((TermExpr) elseExpr).term),
thenExpr.getType());
else
return new FormulaExpr(new IFormulaITE(
((FormulaExpr) cond).formula,
((FormulaExpr) thenExpr).formula,
((FormulaExpr) elseExpr).formula));
}
示例2: ifThenElse
import ap.parser.IFormulaITE; //導入依賴的package包/類
@Override
public IExpression ifThenElse(IExpression condition, IExpression t1, IExpression t2) {
if (t1 instanceof IFormula) {
return new IFormulaITE((IFormula) condition, (IFormula) t1, (IFormula) t2);
} else {
return new ITermITE((IFormula) condition, (ITerm) t1, (ITerm) t2);
}
}
示例3: getName
import ap.parser.IFormulaITE; //導入依賴的package包/類
private String getName(IExpression input) {
if (input instanceof IAtom || input instanceof IConstant) {
return input.toString();
} else if (input instanceof IBinFormula) {
return ((IBinFormula) input).j().toString();
} else if (input instanceof IFormulaITE || input instanceof ITermITE) {
// in princess ite representation is the complete formula which we do not want here
return "ite";
} else if (input instanceof IIntFormula) {
return ((IIntFormula) input).rel().toString();
} else if (input instanceof INot) {
// in princess not representation is the complete formula which we do not want here
return "not";
} else if (input instanceof IFunApp) {
return ((IFunApp) input).fun().name();
} else if (input instanceof IPlus) {
// in princess plus representation is the complete formula which we do not want here
return "+";
} else if (input instanceof ITimes) {
// in princess times representation is the complete formula which we do not want here
return "*";
} else if (input instanceof IEpsilon) {
// in princess epsilon representation is the complete formula which we do not want here
return "eps";
} else {
throw new AssertionError("Unhandled type " + input.getClass());
}
}