Package tools.refinery.logic.term.real

Class RealTerms

java.lang.Object

tools.refinery.logic.term.real.RealTerms

public final class RealTerms
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static final Aggregator<Double,Double>	REAL_MAX
static final Aggregator<Double,Double>	REAL_MIN
static final Aggregator<Double,Double>	REAL_SUM

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Details

REAL_SUM

public static final Aggregator<Double,Double> REAL_SUM

REAL_MIN

public static final Aggregator<Double,Double> REAL_MIN

REAL_MAX

public static final Aggregator<Double,Double> REAL_MAX

Method Details

constant

public static Term<Double> constant(Double value)

plus

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

minus

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

add

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

sub

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

mul

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

div

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

pow

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

min

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

max

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

eq

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

notEq

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

less

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

lessEq

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

greater

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

greaterEq

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

asReal

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