Package tools.refinery.logic.term.realinterval

Class RealIntervalTerms

java.lang.Object

tools.refinery.logic.term.realinterval.RealIntervalTerms

public class RealIntervalTerms
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static final Aggregator<RealInterval,RealInterval>	REAL_INTERVAL_SUM
static final PartialAggregator<RealInterval,BigDecimal,RealInterval,BigDecimal>	REAL_MAX
static final PartialAggregator<RealInterval,BigDecimal,RealInterval,BigDecimal>	REAL_MIN
static final PartialAggregator<RealInterval,BigDecimal,RealInterval,BigDecimal>	REAL_SUM

Method Summary

Modifier and Type	Method	Description
static Term<RealInterval>	add(Term<RealInterval> left, Term<RealInterval> right)
static Term<IntInterval>	asInt(Term<RealInterval> body)
static Term<RealInterval>	asReal(Term<IntInterval> body)
static Term<RealInterval>	constant(RealInterval value)
static Term<TruthValue>	eq(Term<RealInterval> left, Term<RealInterval> right)
static Term<RealInterval>	fromString(Term<StringValue> body)
static Term<TruthValue>	greater(Term<RealInterval> left, Term<RealInterval> right)
static Term<TruthValue>	greaterEq(Term<RealInterval> left, Term<RealInterval> right)
static Term<TruthValue>	less(Term<RealInterval> left, Term<RealInterval> right)
static Term<TruthValue>	lessEq(Term<RealInterval> left, Term<RealInterval> right)
static Term<RealInterval>	minus(Term<RealInterval> body)
static Term<RealInterval>	mul(Term<RealInterval> left, Term<RealInterval> right)
static Term<TruthValue>	notEq(Term<RealInterval> left, Term<RealInterval> right)
static Term<RealInterval>	plus(Term<RealInterval> body)
static Term<RealInterval>	range(Term<RealInterval> left, Term<RealInterval> right)
static Term<RealInterval>	sub(Term<RealInterval> left, Term<RealInterval> right)

Methods inherited from class java.lang.Object

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

Field Details

REAL_INTERVAL_SUM

public static final Aggregator<RealInterval,RealInterval> REAL_INTERVAL_SUM

REAL_SUM

public static final PartialAggregator<RealInterval,BigDecimal,RealInterval,BigDecimal> REAL_SUM

REAL_MIN

public static final PartialAggregator<RealInterval,BigDecimal,RealInterval,BigDecimal> REAL_MIN

REAL_MAX

public static final PartialAggregator<RealInterval,BigDecimal,RealInterval,BigDecimal> REAL_MAX

Method Details

constant

public static Term<RealInterval> constant(RealInterval value)

asReal

public static Term<RealInterval> asReal(Term<IntInterval> body)

asInt

public static Term<IntInterval> asInt(Term<RealInterval> body)

plus

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

minus

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

add

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

sub

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

mul

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

range

public static Term<RealInterval> range(Term<RealInterval> left,
 Term<RealInterval> right)

eq

public static Term<TruthValue> eq(Term<RealInterval> left,
 Term<RealInterval> right)

notEq

public static Term<TruthValue> notEq(Term<RealInterval> left,
 Term<RealInterval> right)

less

public static Term<TruthValue> less(Term<RealInterval> left,
 Term<RealInterval> right)

lessEq

public static Term<TruthValue> lessEq(Term<RealInterval> left,
 Term<RealInterval> right)

greater

public static Term<TruthValue> greater(Term<RealInterval> left,
 Term<RealInterval> right)

greaterEq

public static Term<TruthValue> greaterEq(Term<RealInterval> left,
 Term<RealInterval> right)

fromString

public static Term<RealInterval> fromString(Term<StringValue> body)