Package tools.refinery.logic.term.int_

Class IntTerms

java.lang.Object

tools.refinery.logic.term.int_.IntTerms

public final class IntTerms
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static final Aggregator<Integer,Integer>	INT_MAX
static final Aggregator<Integer,Integer>	INT_MIN
static final Aggregator<Integer,Integer>	INT_SUM

Method Summary

Modifier and Type	Method	Description
static Term<Integer>	add(Term<Integer> left, Term<Integer> right)
static Term<Integer>	asInt(Term<Double> body)
static Term<Integer>	constant(Integer value)
static Term<Integer>	div(Term<Integer> left, Term<Integer> right)
static Term<Boolean>	eq(Term<Integer> left, Term<Integer> right)
static Term<Boolean>	greater(Term<Integer> left, Term<Integer> right)
static Term<Boolean>	greaterEq(Term<Integer> left, Term<Integer> right)
static Term<Boolean>	less(Term<Integer> left, Term<Integer> right)
static Term<Boolean>	lessEq(Term<Integer> left, Term<Integer> right)
static Term<Integer>	max(Term<Integer> left, Term<Integer> right)
static Term<Integer>	min(Term<Integer> left, Term<Integer> right)
static Term<Integer>	minus(Term<Integer> body)
static Term<Integer>	mul(Term<Integer> left, Term<Integer> right)
static Term<Boolean>	notEq(Term<Integer> left, Term<Integer> right)
static Term<Integer>	plus(Term<Integer> body)
static Term<Integer>	pow(Term<Integer> left, Term<Integer> right)
static Term<Integer>	sub(Term<Integer> left, Term<Integer> right)

Methods inherited from class java.lang.Object

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

Field Details

INT_SUM

public static final Aggregator<Integer,Integer> INT_SUM

INT_MIN

public static final Aggregator<Integer,Integer> INT_MIN

INT_MAX

public static final Aggregator<Integer,Integer> INT_MAX

Method Details

constant

public static Term<Integer> constant(Integer value)

plus

public static Term<Integer> plus(Term<Integer> body)

minus

public static Term<Integer> minus(Term<Integer> body)

add

public static Term<Integer> add(Term<Integer> left,
 Term<Integer> right)

sub

public static Term<Integer> sub(Term<Integer> left,
 Term<Integer> right)

mul

public static Term<Integer> mul(Term<Integer> left,
 Term<Integer> right)

div

public static Term<Integer> div(Term<Integer> left,
 Term<Integer> right)

pow

public static Term<Integer> pow(Term<Integer> left,
 Term<Integer> right)

min

public static Term<Integer> min(Term<Integer> left,
 Term<Integer> right)

max

public static Term<Integer> max(Term<Integer> left,
 Term<Integer> right)

eq

public static Term<Boolean> eq(Term<Integer> left,
 Term<Integer> right)

notEq

public static Term<Boolean> notEq(Term<Integer> left,
 Term<Integer> right)

less

public static Term<Boolean> less(Term<Integer> left,
 Term<Integer> right)

lessEq

public static Term<Boolean> lessEq(Term<Integer> left,
 Term<Integer> right)

greater

public static Term<Boolean> greater(Term<Integer> left,
 Term<Integer> right)

greaterEq

public static Term<Boolean> greaterEq(Term<Integer> left,
 Term<Integer> right)

asInt

public static Term<Integer> asInt(Term<Double> body)