Package tools.refinery.logic.term.intinterval

Class IntIntervalTerms

java.lang.Object

tools.refinery.logic.term.intinterval.IntIntervalTerms

public class IntIntervalTerms
extends Object

Field Summary

Fields

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

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Details

INT_INTERVAL_SUM

public static final Aggregator<IntInterval,IntInterval> INT_INTERVAL_SUM

INT_SUM

public static final PartialAggregator<IntInterval,Integer,IntInterval,Integer> INT_SUM

INT_MIN

public static final PartialAggregator<IntInterval,Integer,IntInterval,Integer> INT_MIN

INT_MAX

public static final PartialAggregator<IntInterval,Integer,IntInterval,Integer> INT_MAX

Method Details

constant

public static Term<IntInterval> constant(IntInterval value)

plus

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

minus

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

add

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

sub

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

mul

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

range

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

eq

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

notEq

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

less

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

lessEq

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

greater

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

greaterEq

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

fromString

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