wytp.proof.util

Class Arithmetic

java.lang.Object

wytp.proof.util.Arithmetic

public class Arithmetic
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Arithmetic.Polynomial

Constructor Summary

Constructors

Constructor and Description
Arithmetic()

Method Summary

Modifier and Type	Method and Description
static Arithmetic.Polynomial	asPolynomial(WyalFile.Expr e)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Arithmetic

public Arithmetic()

Method Detail

asPolynomial

public static Arithmetic.Polynomial asPolynomial(WyalFile.Expr e)