Package tools.refinery.logic.term.uppercardinality

Class UpperCardinalityTerms

java.lang.Object

tools.refinery.logic.term.uppercardinality.UpperCardinalityTerms

public final class UpperCardinalityTerms
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static final Aggregator<UpperCardinality,UpperCardinality>	UPPER_CARDINALITY_MAX
static final Aggregator<UpperCardinality,UpperCardinality>	UPPER_CARDINALITY_MIN
static final Aggregator<UpperCardinality,UpperCardinality>	UPPER_CARDINALITY_SUM

Method Summary

Modifier and Type	Method	Description
static Term<UpperCardinality>	add(Term<UpperCardinality> left, Term<UpperCardinality> right)
static Term<UpperCardinality>	constant(UpperCardinality value)
static Term<Boolean>	eq(Term<UpperCardinality> left, Term<UpperCardinality> right)
static Term<Boolean>	greater(Term<UpperCardinality> left, Term<UpperCardinality> right)
static Term<Boolean>	greaterEq(Term<UpperCardinality> left, Term<UpperCardinality> right)
static Term<Boolean>	less(Term<UpperCardinality> left, Term<UpperCardinality> right)
static Term<Boolean>	lessEq(Term<UpperCardinality> left, Term<UpperCardinality> right)
static Term<UpperCardinality>	max(Term<UpperCardinality> left, Term<UpperCardinality> right)
static Term<UpperCardinality>	min(Term<UpperCardinality> left, Term<UpperCardinality> right)
static Term<UpperCardinality>	mul(Term<UpperCardinality> left, Term<UpperCardinality> right)
static Term<Boolean>	notEq(Term<UpperCardinality> left, Term<UpperCardinality> right)

Methods inherited from class java.lang.Object

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

Field Details

UPPER_CARDINALITY_SUM

public static final Aggregator<UpperCardinality,UpperCardinality> UPPER_CARDINALITY_SUM

UPPER_CARDINALITY_MIN

public static final Aggregator<UpperCardinality,UpperCardinality> UPPER_CARDINALITY_MIN

UPPER_CARDINALITY_MAX

public static final Aggregator<UpperCardinality,UpperCardinality> UPPER_CARDINALITY_MAX

Method Details

constant

public static Term<UpperCardinality> constant(UpperCardinality value)

add

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

mul

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

min

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

max

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

eq

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

notEq

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

less

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

lessEq

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

greater

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

greaterEq

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