Intervals.h File Reference

#include "llzk/Util/Field.h"
#include <mlir/Support/LogicalResult.h>
#include <algorithm>

Include dependency graph for Intervals.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	llzk::UnreducedInterval
	An inclusive interval [a, b] where a and b are arbitrary integers not necessarily bound to a given field. More...
class	llzk::Interval
	Intervals over a finite field. More...
struct	llzk::Interval::Hash

Namespaces
namespace	llzk

Functions
FailureOr< Interval >	llzk::feltDiv (const Interval &lhs, const Interval &rhs)
	Computes finite-field division by multiplying the dividend by the multiplicative inverse of the divisor.
FailureOr< Interval >	llzk::unsignedIntDiv (const Interval &lhs, const Interval &rhs)
	Computes unsigned integer division with possibly non-Degenerate divisors.
FailureOr< Interval >	llzk::signedIntDiv (const Interval &lhs, const Interval &rhs)
	Computes signed integer division with possibly non-Degenerate divisors.