public class HandleArith
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static Term |
provedByArith(Term problem,
Services services)
try to prove atom by using polynomial
|
static Term |
provedByArith(Term problem,
Term axiom,
Services services)
Try to prove problem by know that axiom is true.
|
public static Term provedByArith(Term problem, Services services)
problem
- trueT
if if formu is proved to true,
falseT
if false, and problem
if it
cann't be proved.public static Term provedByArith(Term problem, Term axiom, Services services)
problem
- axiom
- Copyright © 2003-2019 The KeY-Project.