Index

A B C D E F G H I J L M N O P Q R S T U V W X Z
All Classes and Interfaces|All Packages|Serialized Form

A

AbstractCallLiteral - Class in tools.refinery.logic.literal

AbstractCallLiteral(Constraint, List<Variable>) - Constructor for class tools.refinery.logic.literal.AbstractCallLiteral

AbstractCallTerm<T> - Class in tools.refinery.logic.term

AbstractCallTerm(Class<T>, Constraint, List<Variable>) - Constructor for class tools.refinery.logic.term.AbstractCallTerm

AbstractCountLiteral<T> - Class in tools.refinery.logic.literal

AbstractCountLiteral(Class<T>, DataVariable<T>, Constraint, List<Variable>) - Constructor for class tools.refinery.logic.literal.AbstractCountLiteral

AbstractDomain<A,C> - Interface in tools.refinery.logic

AbstractDomainBinaryTerm<R,A,C> - Class in tools.refinery.logic.term.abstractdomain

AbstractDomainBinaryTerm(Class<R>, AbstractDomain<A, C>, Term<A>, Term<A>) - Constructor for class tools.refinery.logic.term.abstractdomain.AbstractDomainBinaryTerm

AbstractDomainEqTerm<A,C> - Class in tools.refinery.logic.term.abstractdomain

AbstractDomainEqTerm(AbstractDomain<A, C>, Term<A>, Term<A>) - Constructor for class tools.refinery.logic.term.abstractdomain.AbstractDomainEqTerm

AbstractDomainGreaterEqTerm<A,C> - Class in tools.refinery.logic.term.abstractdomain

AbstractDomainGreaterEqTerm(ComparableAbstractDomain<A, C>, Term<A>, Term<A>) - Constructor for class tools.refinery.logic.term.abstractdomain.AbstractDomainGreaterEqTerm

AbstractDomainGreaterTerm<A,C> - Class in tools.refinery.logic.term.abstractdomain

AbstractDomainGreaterTerm(ComparableAbstractDomain<A, C>, Term<A>, Term<A>) - Constructor for class tools.refinery.logic.term.abstractdomain.AbstractDomainGreaterTerm

AbstractDomainJoinTerm<A,C> - Class in tools.refinery.logic.term.abstractdomain

AbstractDomainJoinTerm(AbstractDomain<A, C>, Term<A>, Term<A>) - Constructor for class tools.refinery.logic.term.abstractdomain.AbstractDomainJoinTerm

AbstractDomainLessEqTerm<A,C> - Class in tools.refinery.logic.term.abstractdomain

AbstractDomainLessEqTerm(ComparableAbstractDomain<A, C>, Term<A>, Term<A>) - Constructor for class tools.refinery.logic.term.abstractdomain.AbstractDomainLessEqTerm

AbstractDomainLessTerm<A,C> - Class in tools.refinery.logic.term.abstractdomain

AbstractDomainLessTerm(ComparableAbstractDomain<A, C>, Term<A>, Term<A>) - Constructor for class tools.refinery.logic.term.abstractdomain.AbstractDomainLessTerm

AbstractDomainLowerBoundTerm<A,C> - Class in tools.refinery.logic.term.abstractdomain

AbstractDomainLowerBoundTerm(ComparableAbstractDomain<A, C>, Term<A>) - Constructor for class tools.refinery.logic.term.abstractdomain.AbstractDomainLowerBoundTerm

AbstractDomainMaxTerm<A,C> - Class in tools.refinery.logic.term.abstractdomain

AbstractDomainMaxTerm(ComparableAbstractDomain<A, C>, Term<A>, Term<A>) - Constructor for class tools.refinery.logic.term.abstractdomain.AbstractDomainMaxTerm

AbstractDomainMeetTerm<A,C> - Class in tools.refinery.logic.term.abstractdomain

AbstractDomainMeetTerm(AbstractDomain<A, C>, Term<A>, Term<A>) - Constructor for class tools.refinery.logic.term.abstractdomain.AbstractDomainMeetTerm

AbstractDomainMinTerm<A,C> - Class in tools.refinery.logic.term.abstractdomain

AbstractDomainMinTerm(ComparableAbstractDomain<A, C>, Term<A>, Term<A>) - Constructor for class tools.refinery.logic.term.abstractdomain.AbstractDomainMinTerm

AbstractDomainNotEqTerm<A,C> - Class in tools.refinery.logic.term.abstractdomain

AbstractDomainNotEqTerm(AbstractDomain<A, C>, Term<A>, Term<A>) - Constructor for class tools.refinery.logic.term.abstractdomain.AbstractDomainNotEqTerm

AbstractDomainRangeTerm<A,C> - Class in tools.refinery.logic.term.abstractdomain

AbstractDomainRangeTerm(ComparableAbstractDomain<A, C>, Term<A>, Term<A>) - Constructor for class tools.refinery.logic.term.abstractdomain.AbstractDomainRangeTerm

AbstractDomainSubsetTerm<A,C> - Class in tools.refinery.logic.term.abstractdomain

AbstractDomainSubsetTerm(AbstractDomain<A, C>, Term<A>, Term<A>) - Constructor for class tools.refinery.logic.term.abstractdomain.AbstractDomainSubsetTerm

AbstractDomainSupersetTerm<A,C> - Class in tools.refinery.logic.term.abstractdomain

AbstractDomainSupersetTerm(AbstractDomain<A, C>, Term<A>, Term<A>) - Constructor for class tools.refinery.logic.term.abstractdomain.AbstractDomainSupersetTerm

AbstractDomainTerms - Class in tools.refinery.logic.term.abstractdomain

AbstractDomainUnaryTerm<R,A,C> - Class in tools.refinery.logic.term.abstractdomain

AbstractDomainUnaryTerm(Class<R>, AbstractDomain<A, C>, Term<A>) - Constructor for class tools.refinery.logic.term.abstractdomain.AbstractDomainUnaryTerm

AbstractDomainUpperBoundTerm<A,C> - Class in tools.refinery.logic.term.abstractdomain

AbstractDomainUpperBoundTerm(ComparableAbstractDomain<A, C>, Term<A>) - Constructor for class tools.refinery.logic.term.abstractdomain.AbstractDomainUpperBoundTerm

AbstractLiteral - Class in tools.refinery.logic.literal

AbstractLiteral() - Constructor for class tools.refinery.logic.literal.AbstractLiteral

abstractLowerBound() - Method in interface tools.refinery.logic.term.ComparableAbstractValue

abstractLowerBound() - Method in record class tools.refinery.logic.term.intinterval.IntInterval

abstractLowerBound() - Method in record class tools.refinery.logic.term.realinterval.RealInterval

abstractLowerBound() - Method in enum class tools.refinery.logic.term.truthvalue.TruthValue

AbstractQueryBuilder<T> - Class in tools.refinery.logic.dnf

AbstractQueryBuilder(DnfBuilder) - Constructor for class tools.refinery.logic.dnf.AbstractQueryBuilder

AbstractRecursiveRewriter - Class in tools.refinery.logic.rewriter

AbstractRecursiveRewriter() - Constructor for class tools.refinery.logic.rewriter.AbstractRecursiveRewriter

AbstractTerm<T> - Class in tools.refinery.logic.term

AbstractTerm(Class<T>) - Constructor for class tools.refinery.logic.term.AbstractTerm

abstractType() - Method in interface tools.refinery.logic.AbstractDomain

abstractType() - Method in interface tools.refinery.logic.AnyAbstractDomain

abstractType() - Method in class tools.refinery.logic.term.cardinalityinterval.CardinalityDomain

abstractType() - Method in class tools.refinery.logic.term.intinterval.IntIntervalDomain

abstractType() - Method in class tools.refinery.logic.term.realinterval.RealIntervalDomain

abstractType() - Method in class tools.refinery.logic.term.string.StringDomain

abstractType() - Method in class tools.refinery.logic.term.truthvalue.TruthValueDomain

abstractUpperBound() - Method in interface tools.refinery.logic.term.ComparableAbstractValue

abstractUpperBound() - Method in record class tools.refinery.logic.term.intinterval.IntInterval

abstractUpperBound() - Method in record class tools.refinery.logic.term.realinterval.RealInterval

abstractUpperBound() - Method in enum class tools.refinery.logic.term.truthvalue.TruthValue

AbstractValue<A,C> - Interface in tools.refinery.logic

accept(FunctionalQueryBuilder<T>, DataVariable<T>) - Method in interface tools.refinery.logic.dnf.callback.FunctionalQueryCallback0

accept(FunctionalQueryBuilder<T>, NodeVariable, DataVariable<T>) - Method in interface tools.refinery.logic.dnf.callback.FunctionalQueryCallback1

accept(FunctionalQueryBuilder<T>, NodeVariable, NodeVariable, DataVariable<T>) - Method in interface tools.refinery.logic.dnf.callback.FunctionalQueryCallback2

accept(FunctionalQueryBuilder<T>, NodeVariable, NodeVariable, NodeVariable, DataVariable<T>) - Method in interface tools.refinery.logic.dnf.callback.FunctionalQueryCallback3

accept(FunctionalQueryBuilder<T>, NodeVariable, NodeVariable, NodeVariable, NodeVariable, DataVariable<T>) - Method in interface tools.refinery.logic.dnf.callback.FunctionalQueryCallback4

accept(QueryBuilder) - Method in interface tools.refinery.logic.dnf.callback.QueryCallback0

accept(QueryBuilder, NodeVariable) - Method in interface tools.refinery.logic.dnf.callback.QueryCallback1

accept(QueryBuilder, NodeVariable, NodeVariable) - Method in interface tools.refinery.logic.dnf.callback.QueryCallback2

accept(QueryBuilder, NodeVariable, NodeVariable, NodeVariable) - Method in interface tools.refinery.logic.dnf.callback.QueryCallback3

accept(QueryBuilder, NodeVariable, NodeVariable, NodeVariable, NodeVariable) - Method in interface tools.refinery.logic.dnf.callback.QueryCallback4

add(Integer, Integer) - Method in class tools.refinery.logic.term.int_.IntSumAggregator

add(R, T) - Method in interface tools.refinery.logic.term.StatelessAggregator

add(T) - Method in interface tools.refinery.logic.term.operators.Add

add(T) - Method in interface tools.refinery.logic.term.StatefulAggregate

add(CardinalityInterval) - Method in record class tools.refinery.logic.term.cardinalityinterval.CardinalityInterval

add(IntBound, RoundingMode) - Method in interface tools.refinery.logic.term.intinterval.IntBound

add(IntBound, RoundingMode) - Method in record class tools.refinery.logic.term.intinterval.IntBound.Finite

add(IntInterval) - Method in record class tools.refinery.logic.term.intinterval.IntInterval

add(RealBound, RoundingMode) - Method in interface tools.refinery.logic.term.realinterval.RealBound

add(RealBound, RoundingMode) - Method in record class tools.refinery.logic.term.realinterval.RealBound.Finite

add(RealInterval) - Method in record class tools.refinery.logic.term.realinterval.RealInterval

add(StringValue) - Method in record class tools.refinery.logic.term.string.StringValue.Concrete

add(StringValue) - Method in class tools.refinery.logic.term.string.StringValue.Error

add(StringValue) - Method in class tools.refinery.logic.term.string.StringValue.Unknown

add(Term<Double>, Term<Double>) - Static method in class tools.refinery.logic.term.real.RealTerms

add(Term<Integer>, Term<Integer>) - Static method in class tools.refinery.logic.term.int_.IntTerms

add(Term<IntInterval>, Term<IntInterval>) - Static method in class tools.refinery.logic.term.intinterval.IntIntervalTerms

add(Term<RealInterval>, Term<RealInterval>) - Static method in class tools.refinery.logic.term.realinterval.RealIntervalTerms

add(Term<StringValue>, Term<StringValue>) - Static method in class tools.refinery.logic.term.string.StringTerms

add(Term<UpperCardinality>, Term<UpperCardinality>) - Static method in class tools.refinery.logic.term.uppercardinality.UpperCardinalityTerms

add(UpperCardinality) - Method in record class tools.refinery.logic.term.uppercardinality.FiniteUpperCardinality

add(UpperCardinality) - Method in class tools.refinery.logic.term.uppercardinality.UnboundedUpperCardinality

add(UpperCardinality) - Method in interface tools.refinery.logic.term.uppercardinality.UpperCardinality

Add<T> - Interface in tools.refinery.logic.term.operators

addFirst(DnfRewriter) - Method in class tools.refinery.logic.rewriter.CompositeRewriter

AddTerm<T> - Class in tools.refinery.logic.term.operators

AddTerm(Class<T>, Term<T>, Term<T>) - Constructor for class tools.refinery.logic.term.operators.AddTerm

aggregate(Aggregator<R, T>, List<NodeVariable>) - Method in class tools.refinery.logic.dnf.FunctionalQuery

aggregate(Aggregator<R, T>, NodeVariable...) - Method in class tools.refinery.logic.dnf.FunctionalQuery

aggregateBy(DataVariable<T>, Aggregator<R, T>, List<Variable>) - Method in interface tools.refinery.logic.Constraint

aggregateBy(DataVariable<T>, Aggregator<R, T>, Variable...) - Method in interface tools.refinery.logic.Constraint

aggregateStream(Stream<T>) - Method in interface tools.refinery.logic.term.Aggregator

aggregateStream(Stream<T>) - Method in interface tools.refinery.logic.term.StatefulAggregator

aggregateStream(Stream<T>) - Method in interface tools.refinery.logic.term.StatelessAggregator

AggregationTerm<R,T> - Class in tools.refinery.logic.term

AggregationTerm(Aggregator<R, T>, DataVariable<T>, Constraint, List<Variable>) - Constructor for class tools.refinery.logic.term.AggregationTerm

Aggregator<R,T> - Interface in tools.refinery.logic.term

ALWAYS_FALSE - Enum constant in enum class tools.refinery.logic.literal.Reduction

Signifies that the clause with the literal may be omitted entirely.

ALWAYS_TRUE - Enum constant in enum class tools.refinery.logic.literal.Reduction

Signifies that the literal may be omitted from the cause (if the model being queried is nonempty).

and(T) - Method in interface tools.refinery.logic.term.operators.And

and(Term<Boolean>, Term<Boolean>) - Static method in class tools.refinery.logic.term.bool.BoolTerms

and(Term<TruthValue>, Term<TruthValue>) - Static method in class tools.refinery.logic.term.truthvalue.TruthValueTerms

and(TruthValue) - Method in enum class tools.refinery.logic.term.truthvalue.TruthValue

And<T> - Interface in tools.refinery.logic.term.operators

AndTerm<T> - Class in tools.refinery.logic.term.operators

AndTerm(Class<T>, Term<T>, Term<T>) - Constructor for class tools.refinery.logic.term.operators.AndTerm

AnyAbstractDomain - Interface in tools.refinery.logic

AnyDataVariable - Class in tools.refinery.logic.term

AnyDataVariable(String) - Constructor for class tools.refinery.logic.term.AnyDataVariable

AnyPartialAggregator - Interface in tools.refinery.logic.term

AnyQuery - Interface in tools.refinery.logic.dnf

AnyTerm - Interface in tools.refinery.logic.term

apply(int, T) - Method in interface tools.refinery.logic.term.ToMonoid

arity() - Method in interface tools.refinery.logic.Constraint

arity() - Method in interface tools.refinery.logic.dnf.AnyQuery

arity() - Method in class tools.refinery.logic.dnf.Dnf

arity() - Method in class tools.refinery.logic.dnf.FunctionalQuery

arity() - Method in class tools.refinery.logic.dnf.RelationalQuery

asDataVariable(Class<T>) - Method in class tools.refinery.logic.term.NodeVariable

asDataVariable(Class<T>) - Method in class tools.refinery.logic.term.Variable

asDataVariable(Class<U>) - Method in class tools.refinery.logic.term.DataVariable

asFunction(Class<T>) - Method in class tools.refinery.logic.dnf.Dnf

asInt() - Method in record class tools.refinery.logic.term.realinterval.RealInterval

asInt() - Method in enum class tools.refinery.logic.term.realinterval.RoundingMode

asInt(RoundingMode) - Method in interface tools.refinery.logic.term.realinterval.RealBound

asInt(RoundingMode) - Method in record class tools.refinery.logic.term.realinterval.RealBound.Finite

asInt(Term<Double>) - Static method in class tools.refinery.logic.term.int_.IntTerms

asInt(Term<RealInterval>) - Static method in class tools.refinery.logic.term.realinterval.RealIntervalTerms

AsIntIntervalTerm - Class in tools.refinery.logic.term.realinterval

asNodeVariable() - Method in class tools.refinery.logic.term.AnyDataVariable

asNodeVariable() - Method in class tools.refinery.logic.term.NodeVariable

asNodeVariable() - Method in class tools.refinery.logic.term.Variable

asReal(Term<Integer>) - Static method in class tools.refinery.logic.term.real.RealTerms

asReal(Term<IntInterval>) - Static method in class tools.refinery.logic.term.realinterval.RealIntervalTerms

AsRealIntervalTerm - Class in tools.refinery.logic.term.realinterval

asRelation() - Method in class tools.refinery.logic.dnf.Dnf

assign(Term<T>) - Method in class tools.refinery.logic.term.DataVariable

AssignLiteral<T> - Class in tools.refinery.logic.literal

AssignLiteral(DataVariable<T>, Term<T>) - Constructor for class tools.refinery.logic.literal.AssignLiteral

asString(AbstractDomain<A, C>, Term<A>) - Static method in class tools.refinery.logic.term.abstractdomain.AbstractDomainTerms

AsStringTerm<A,C> - Class in tools.refinery.logic.term.abstractdomain

asTruthValue(Term<Boolean>) - Static method in class tools.refinery.logic.term.truthvalue.TruthValueTerms

AsTruthValueTerm - Class in tools.refinery.logic.term.truthvalue

AsTruthValueTerm(Term<Boolean>) - Constructor for class tools.refinery.logic.term.truthvalue.AsTruthValueTerm

asType(Class<T>) - Method in interface tools.refinery.logic.term.AnyTerm

atLeast(int) - Static method in class tools.refinery.logic.term.cardinalityinterval.CardinalityIntervals

atMost(int) - Static method in class tools.refinery.logic.term.cardinalityinterval.CardinalityIntervals

atMost(int) - Static method in class tools.refinery.logic.term.uppercardinality.UpperCardinalities

atMost(UpperCardinality) - Static method in class tools.refinery.logic.term.cardinalityinterval.CardinalityIntervals

B

between(int, int) - Static method in class tools.refinery.logic.term.cardinalityinterval.CardinalityIntervals

between(int, UpperCardinality) - Static method in class tools.refinery.logic.term.cardinalityinterval.CardinalityIntervals

BinaryTerm<R,T1,T2> - Class in tools.refinery.logic.term

BinaryTerm(Class<R>, Class<T1>, Class<T2>, Term<T1>, Term<T2>) - Constructor for class tools.refinery.logic.term.BinaryTerm

BoolAndTerm - Class in tools.refinery.logic.term.bool

BoolAndTerm(Term<Boolean>, Term<Boolean>) - Constructor for class tools.refinery.logic.term.bool.BoolAndTerm

BoolBinaryTerm - Class in tools.refinery.logic.term.bool

BoolBinaryTerm(Term<Boolean>, Term<Boolean>) - Constructor for class tools.refinery.logic.term.bool.BoolBinaryTerm

BooleanLiteral - Enum Class in tools.refinery.logic.literal

BoolNotTerm - Class in tools.refinery.logic.term.bool

BoolNotTerm(Term<Boolean>) - Constructor for class tools.refinery.logic.term.bool.BoolNotTerm

BoolOrTerm - Class in tools.refinery.logic.term.bool

BoolOrTerm(Term<Boolean>, Term<Boolean>) - Constructor for class tools.refinery.logic.term.bool.BoolOrTerm

BoolTerms - Class in tools.refinery.logic.term.bool

BoolXorTerm - Class in tools.refinery.logic.term.bool

BoolXorTerm(Term<Boolean>, Term<Boolean>) - Constructor for class tools.refinery.logic.term.bool.BoolXorTerm

build() - Method in class tools.refinery.logic.dnf.DnfBuilder

build() - Method in class tools.refinery.logic.dnf.FunctionalQueryBuilder

build() - Method in class tools.refinery.logic.dnf.QueryBuilder

build() - Method in class tools.refinery.logic.substitution.SubstitutionBuilder

build() - Method in class tools.refinery.logic.valuation.ValuationBuilder

builder() - Static method in class tools.refinery.logic.dnf.Dnf

builder() - Static method in class tools.refinery.logic.dnf.Query

builder() - Static method in interface tools.refinery.logic.substitution.Substitution

builder() - Static method in interface tools.refinery.logic.valuation.Valuation

builder(String) - Static method in class tools.refinery.logic.dnf.Dnf

builder(String) - Static method in class tools.refinery.logic.dnf.Query

builderFrom(Dnf) - Static method in class tools.refinery.logic.dnf.Dnf

C

call(CallPolarity, List<? extends Variable>) - Method in interface tools.refinery.logic.Constraint

call(CallPolarity, List<NodeVariable>) - Method in class tools.refinery.logic.dnf.RelationalQuery

call(CallPolarity, NodeVariable...) - Method in class tools.refinery.logic.dnf.RelationalQuery

call(CallPolarity, Variable...) - Method in interface tools.refinery.logic.Constraint

call(NodeVariable...) - Method in class tools.refinery.logic.dnf.RelationalQuery

call(Variable...) - Method in interface tools.refinery.logic.Constraint

CallLiteral - Class in tools.refinery.logic.literal

CallLiteral(CallPolarity, Constraint, List<Variable>) - Constructor for class tools.refinery.logic.literal.CallLiteral

CallPolarity - Enum Class in tools.refinery.logic.literal

Represents the polarity of a call.

CallSite - Class in tools.refinery.logic.util

CallSite(Constraint, List<Variable>) - Constructor for class tools.refinery.logic.util.CallSite

callTransitive(NodeVariable, NodeVariable) - Method in interface tools.refinery.logic.Constraint

callTransitive(NodeVariable, NodeVariable) - Method in class tools.refinery.logic.dnf.RelationalQuery

CanNegate<T> - Interface in tools.refinery.logic.literal

CardinalityDomain - Class in tools.refinery.logic.term.cardinalityinterval

CardinalityInterval - Record Class in tools.refinery.logic.term.cardinalityinterval

CardinalityInterval(int, UpperCardinality) - Constructor for record class tools.refinery.logic.term.cardinalityinterval.CardinalityInterval

Creates an instance of a CardinalityInterval record class.

CardinalityIntervals - Class in tools.refinery.logic.term.cardinalityinterval

CEIL - Enum constant in enum class tools.refinery.logic.term.intinterval.RoundingMode

CEIL - Enum constant in enum class tools.refinery.logic.term.realinterval.RoundingMode

check(Term<Boolean>) - Static method in class tools.refinery.logic.literal.Literals

checkEquals(A) - Method in interface tools.refinery.logic.AbstractValue

checkEquals(IntInterval) - Method in record class tools.refinery.logic.term.intinterval.IntInterval

checkEquals(RealInterval) - Method in record class tools.refinery.logic.term.realinterval.RealInterval

checkEquals(StringValue) - Method in record class tools.refinery.logic.term.string.StringValue.Concrete

checkEquals(StringValue) - Method in class tools.refinery.logic.term.string.StringValue.Error

checkEquals(StringValue) - Method in class tools.refinery.logic.term.string.StringValue.Unknown

checkEquals(TruthValue) - Method in enum class tools.refinery.logic.term.truthvalue.TruthValue

checkLess(A) - Method in interface tools.refinery.logic.term.ComparableAbstractValue

checkLess(IntInterval) - Method in record class tools.refinery.logic.term.intinterval.IntInterval

checkLess(RealInterval) - Method in record class tools.refinery.logic.term.realinterval.RealInterval

checkLess(TruthValue) - Method in enum class tools.refinery.logic.term.truthvalue.TruthValue

checkLessEq(A) - Method in interface tools.refinery.logic.term.ComparableAbstractValue

checkLessEq(IntInterval) - Method in record class tools.refinery.logic.term.intinterval.IntInterval

checkLessEq(RealInterval) - Method in record class tools.refinery.logic.term.realinterval.RealInterval

checkLessEq(TruthValue) - Method in enum class tools.refinery.logic.term.truthvalue.TruthValue

CheckLiteral - Class in tools.refinery.logic.literal

CheckLiteral(Term<Boolean>) - Constructor for class tools.refinery.logic.literal.CheckLiteral

CircularReferenceException - Exception Class in tools.refinery.logic.util

clause(Class<T>, ClauseCallback1Data1<T>) - Method in class tools.refinery.logic.dnf.DnfBuilder

clause(Class<T>, ClauseCallback2Data1<T>) - Method in class tools.refinery.logic.dnf.DnfBuilder

clause(Class<T>, ClauseCallback3Data1<T>) - Method in class tools.refinery.logic.dnf.DnfBuilder

clause(Class<T>, ClauseCallback4Data1<T>) - Method in class tools.refinery.logic.dnf.DnfBuilder

clause(Class<T1>, Class<T2>, Class<T3>, Class<T4>, ClauseCallback4Data4<T1, T2, T3, T4>) - Method in class tools.refinery.logic.dnf.DnfBuilder

clause(Class<T1>, Class<T2>, Class<T3>, ClauseCallback3Data3<T1, T2, T3>) - Method in class tools.refinery.logic.dnf.DnfBuilder

clause(Class<T1>, Class<T2>, Class<T3>, ClauseCallback4Data3<T1, T2, T3>) - Method in class tools.refinery.logic.dnf.DnfBuilder

clause(Class<T1>, Class<T2>, ClauseCallback2Data2<T1, T2>) - Method in class tools.refinery.logic.dnf.DnfBuilder

clause(Class<T1>, Class<T2>, ClauseCallback3Data2<T1, T2>) - Method in class tools.refinery.logic.dnf.DnfBuilder

clause(Class<T1>, Class<T2>, ClauseCallback4Data2<T1, T2>) - Method in class tools.refinery.logic.dnf.DnfBuilder

clause(Class<U1>, Class<U2>, Class<U3>, Class<U4>, ClauseCallback4Data4<U1, U2, U3, U4>) - Method in class tools.refinery.logic.dnf.AbstractQueryBuilder

clause(Class<U1>, Class<U2>, Class<U3>, ClauseCallback3Data3<U1, U2, U3>) - Method in class tools.refinery.logic.dnf.AbstractQueryBuilder

clause(Class<U1>, Class<U2>, Class<U3>, ClauseCallback4Data3<U1, U2, U3>) - Method in class tools.refinery.logic.dnf.AbstractQueryBuilder

clause(Class<U1>, Class<U2>, ClauseCallback2Data2<U1, U2>) - Method in class tools.refinery.logic.dnf.AbstractQueryBuilder

clause(Class<U1>, Class<U2>, ClauseCallback3Data2<U1, U2>) - Method in class tools.refinery.logic.dnf.AbstractQueryBuilder

clause(Class<U1>, Class<U2>, ClauseCallback4Data2<U1, U2>) - Method in class tools.refinery.logic.dnf.AbstractQueryBuilder

clause(Class<U1>, ClauseCallback1Data1<U1>) - Method in class tools.refinery.logic.dnf.AbstractQueryBuilder

clause(Class<U1>, ClauseCallback2Data1<U1>) - Method in class tools.refinery.logic.dnf.AbstractQueryBuilder

clause(Class<U1>, ClauseCallback3Data1<U1>) - Method in class tools.refinery.logic.dnf.AbstractQueryBuilder

clause(Class<U1>, ClauseCallback4Data1<U1>) - Method in class tools.refinery.logic.dnf.AbstractQueryBuilder

clause(Collection<? extends Literal>) - Method in class tools.refinery.logic.dnf.AbstractQueryBuilder

clause(Collection<? extends Literal>) - Method in class tools.refinery.logic.dnf.DnfBuilder

clause(ClauseCallback0) - Method in class tools.refinery.logic.dnf.AbstractQueryBuilder

clause(ClauseCallback0) - Method in class tools.refinery.logic.dnf.DnfBuilder

clause(ClauseCallback1Data0) - Method in class tools.refinery.logic.dnf.AbstractQueryBuilder

clause(ClauseCallback1Data0) - Method in class tools.refinery.logic.dnf.DnfBuilder

clause(ClauseCallback2Data0) - Method in class tools.refinery.logic.dnf.AbstractQueryBuilder

clause(ClauseCallback2Data0) - Method in class tools.refinery.logic.dnf.DnfBuilder

clause(ClauseCallback3Data0) - Method in class tools.refinery.logic.dnf.AbstractQueryBuilder

clause(ClauseCallback3Data0) - Method in class tools.refinery.logic.dnf.DnfBuilder

clause(ClauseCallback4Data0) - Method in class tools.refinery.logic.dnf.AbstractQueryBuilder

clause(ClauseCallback4Data0) - Method in class tools.refinery.logic.dnf.DnfBuilder

clause(Literal...) - Method in class tools.refinery.logic.dnf.AbstractQueryBuilder

clause(Literal...) - Method in class tools.refinery.logic.dnf.DnfBuilder

ClauseCallback0 - Interface in tools.refinery.logic.dnf.callback

ClauseCallback1Data0 - Interface in tools.refinery.logic.dnf.callback

ClauseCallback1Data1<T> - Interface in tools.refinery.logic.dnf.callback

ClauseCallback2Data0 - Interface in tools.refinery.logic.dnf.callback

ClauseCallback2Data1<T> - Interface in tools.refinery.logic.dnf.callback

ClauseCallback2Data2<T1,T2> - Interface in tools.refinery.logic.dnf.callback

ClauseCallback3Data0 - Interface in tools.refinery.logic.dnf.callback

ClauseCallback3Data1<T> - Interface in tools.refinery.logic.dnf.callback

ClauseCallback3Data2<T1,T2> - Interface in tools.refinery.logic.dnf.callback

ClauseCallback3Data3<T1,T2,T3> - Interface in tools.refinery.logic.dnf.callback

ClauseCallback4Data0 - Interface in tools.refinery.logic.dnf.callback

ClauseCallback4Data1<T> - Interface in tools.refinery.logic.dnf.callback

ClauseCallback4Data2<T1,T2> - Interface in tools.refinery.logic.dnf.callback

ClauseCallback4Data3<T1,T2,T3> - Interface in tools.refinery.logic.dnf.callback

ClauseCallback4Data4<T1,T2,T3,T4> - Interface in tools.refinery.logic.dnf.callback

ComparableAbstractDomain<A,C> - Interface in tools.refinery.logic

ComparableAbstractValue<A,C> - Interface in tools.refinery.logic.term

compareBound(IntBound) - Method in interface tools.refinery.logic.term.intinterval.IntBound

compareBound(IntBound) - Method in record class tools.refinery.logic.term.intinterval.IntBound.Finite

compareBound(RealBound) - Method in interface tools.refinery.logic.term.realinterval.RealBound

compareBound(RealBound) - Method in record class tools.refinery.logic.term.realinterval.RealBound.Finite

compareTo(CardinalityInterval) - Method in record class tools.refinery.logic.term.cardinalityinterval.CardinalityInterval

compareTo(IntInterval) - Method in record class tools.refinery.logic.term.intinterval.IntInterval

compareTo(RealInterval) - Method in record class tools.refinery.logic.term.realinterval.RealInterval

compareTo(StringValue) - Method in record class tools.refinery.logic.term.string.StringValue.Concrete

compareTo(StringValue) - Method in class tools.refinery.logic.term.string.StringValue.Error

compareTo(StringValue) - Method in class tools.refinery.logic.term.string.StringValue.Unknown

compareTo(UpperCardinality) - Method in record class tools.refinery.logic.term.uppercardinality.FiniteUpperCardinality

compareTo(UpperCardinality) - Method in class tools.refinery.logic.term.uppercardinality.UnboundedUpperCardinality

compareToInt(int) - Method in record class tools.refinery.logic.term.uppercardinality.FiniteUpperCardinality

compareToInt(int) - Method in class tools.refinery.logic.term.uppercardinality.UnboundedUpperCardinality

compareToInt(int) - Method in interface tools.refinery.logic.term.uppercardinality.UpperCardinality

ComparisonTerm<T> - Class in tools.refinery.logic.term.comparable

ComparisonTerm(Class<T>, Term<T>, Term<T>) - Constructor for class tools.refinery.logic.term.comparable.ComparisonTerm

CompositeRewriter - Class in tools.refinery.logic.rewriter

CompositeRewriter() - Constructor for class tools.refinery.logic.rewriter.CompositeRewriter

CompoundTermToLiteralsRewriter - Class in tools.refinery.logic.rewriter

CompoundTermToLiteralsRewriter() - Constructor for class tools.refinery.logic.rewriter.CompoundTermToLiteralsRewriter

Concrete(String) - Constructor for record class tools.refinery.logic.term.string.StringValue.Concrete

Creates an instance of a Concrete record class.

concreteType() - Method in interface tools.refinery.logic.AbstractDomain

concreteType() - Method in interface tools.refinery.logic.AnyAbstractDomain

concreteType() - Method in class tools.refinery.logic.term.cardinalityinterval.CardinalityDomain

concreteType() - Method in class tools.refinery.logic.term.intinterval.IntIntervalDomain

concreteType() - Method in class tools.refinery.logic.term.realinterval.RealIntervalDomain

concreteType() - Method in class tools.refinery.logic.term.string.StringDomain

concreteType() - Method in class tools.refinery.logic.term.truthvalue.TruthValueDomain

Connectivity - Enum Class in tools.refinery.logic.literal

constant(Boolean) - Static method in class tools.refinery.logic.term.bool.BoolTerms

constant(Double) - Static method in class tools.refinery.logic.term.real.RealTerms

constant(Integer) - Static method in class tools.refinery.logic.term.int_.IntTerms

constant(IntInterval) - Static method in class tools.refinery.logic.term.intinterval.IntIntervalTerms

constant(RealInterval) - Static method in class tools.refinery.logic.term.realinterval.RealIntervalTerms

constant(StringValue) - Static method in class tools.refinery.logic.term.string.StringTerms

constant(TruthValue) - Static method in class tools.refinery.logic.term.truthvalue.TruthValueTerms

constant(UpperCardinality) - Static method in class tools.refinery.logic.term.uppercardinality.UpperCardinalityTerms

ConstantLiteral - Class in tools.refinery.logic.literal

ConstantLiteral(NodeVariable, int) - Constructor for class tools.refinery.logic.literal.ConstantLiteral

ConstantTerm<T> - Class in tools.refinery.logic.term

ConstantTerm(Class<T>, T) - Constructor for class tools.refinery.logic.term.ConstantTerm

Constraint - Interface in tools.refinery.logic

constructWithBody(Term<A>) - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainLowerBoundTerm

constructWithBody(Term<A>) - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainUpperBoundTerm

constructWithBody(Term<A>) - Method in class tools.refinery.logic.term.abstractdomain.AsStringTerm

constructWithBody(Term<A>) - Method in class tools.refinery.logic.term.abstractdomain.IsConcreteTerm

constructWithBody(Term<A>) - Method in class tools.refinery.logic.term.abstractdomain.IsErrorTerm

constructWithBody(Term<Boolean>) - Method in class tools.refinery.logic.term.bool.BoolNotTerm

constructWithBody(Term<Boolean>) - Method in class tools.refinery.logic.term.truthvalue.AsTruthValueTerm

constructWithBody(Term<Double>) - Method in class tools.refinery.logic.term.int_.RealToIntTerm

constructWithBody(Term<Double>) - Method in class tools.refinery.logic.term.real.RealMinusTerm

constructWithBody(Term<Double>) - Method in class tools.refinery.logic.term.real.RealPlusTerm

constructWithBody(Term<Integer>) - Method in class tools.refinery.logic.term.int_.IntMinusTerm

constructWithBody(Term<Integer>) - Method in class tools.refinery.logic.term.int_.IntPlusTerm

constructWithBody(Term<Integer>) - Method in class tools.refinery.logic.term.real.IntToRealTerm

constructWithBody(Term<T>) - Method in class tools.refinery.logic.term.operators.ExpTerm

constructWithBody(Term<T>) - Method in class tools.refinery.logic.term.operators.LogTerm

constructWithBody(Term<T>) - Method in class tools.refinery.logic.term.operators.MinusTerm

constructWithBody(Term<T>) - Method in class tools.refinery.logic.term.operators.NotTerm

constructWithBody(Term<T>) - Method in class tools.refinery.logic.term.operators.PlusTerm

constructWithBody(Term<T>) - Method in class tools.refinery.logic.term.operators.SqrtTerm

constructWithBody(Term<T>) - Method in class tools.refinery.logic.term.UnaryTerm

constructWithBody(Term<IntInterval>) - Method in class tools.refinery.logic.term.realinterval.AsRealIntervalTerm

constructWithBody(Term<RealInterval>) - Method in class tools.refinery.logic.term.realinterval.AsIntIntervalTerm

constructWithBody(Term<StringValue>) - Method in class tools.refinery.logic.term.intinterval.IntIntervalFromStringTerm

constructWithBody(Term<StringValue>) - Method in class tools.refinery.logic.term.realinterval.RealIntervalFromStringTerm

constructWithBody(Term<StringValue>) - Method in class tools.refinery.logic.term.truthvalue.TruthValueFromStringTerm

constructWithBody(Term<TruthValue>) - Method in class tools.refinery.logic.term.truthvalue.TruthValueMayTerm

constructWithBody(Term<TruthValue>) - Method in class tools.refinery.logic.term.truthvalue.TruthValueMustTerm

constructWithSubTerms(Term<A>, Term<A>) - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainEqTerm

constructWithSubTerms(Term<A>, Term<A>) - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainGreaterEqTerm

constructWithSubTerms(Term<A>, Term<A>) - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainGreaterTerm

constructWithSubTerms(Term<A>, Term<A>) - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainJoinTerm

constructWithSubTerms(Term<A>, Term<A>) - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainLessEqTerm

constructWithSubTerms(Term<A>, Term<A>) - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainLessTerm

constructWithSubTerms(Term<A>, Term<A>) - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainMaxTerm

constructWithSubTerms(Term<A>, Term<A>) - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainMeetTerm

constructWithSubTerms(Term<A>, Term<A>) - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainMinTerm

constructWithSubTerms(Term<A>, Term<A>) - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainNotEqTerm

constructWithSubTerms(Term<A>, Term<A>) - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainRangeTerm

constructWithSubTerms(Term<A>, Term<A>) - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainSubsetTerm

constructWithSubTerms(Term<A>, Term<A>) - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainSupersetTerm

constructWithSubTerms(Term<Boolean>, Term<Boolean>) - Method in class tools.refinery.logic.term.bool.BoolAndTerm

constructWithSubTerms(Term<Boolean>, Term<Boolean>) - Method in class tools.refinery.logic.term.bool.BoolOrTerm

constructWithSubTerms(Term<Boolean>, Term<Boolean>) - Method in class tools.refinery.logic.term.bool.BoolXorTerm

constructWithSubTerms(Term<Double>, Term<Double>) - Method in class tools.refinery.logic.term.real.RealAddTerm

constructWithSubTerms(Term<Double>, Term<Double>) - Method in class tools.refinery.logic.term.real.RealDivTerm

constructWithSubTerms(Term<Double>, Term<Double>) - Method in class tools.refinery.logic.term.real.RealMaxTerm

constructWithSubTerms(Term<Double>, Term<Double>) - Method in class tools.refinery.logic.term.real.RealMinTerm

constructWithSubTerms(Term<Double>, Term<Double>) - Method in class tools.refinery.logic.term.real.RealMulTerm

constructWithSubTerms(Term<Double>, Term<Double>) - Method in class tools.refinery.logic.term.real.RealPowTerm

constructWithSubTerms(Term<Double>, Term<Double>) - Method in class tools.refinery.logic.term.real.RealSubTerm

constructWithSubTerms(Term<Integer>, Term<Integer>) - Method in class tools.refinery.logic.term.int_.IntAddTerm

constructWithSubTerms(Term<Integer>, Term<Integer>) - Method in class tools.refinery.logic.term.int_.IntDivTerm

constructWithSubTerms(Term<Integer>, Term<Integer>) - Method in class tools.refinery.logic.term.int_.IntMaxTerm

constructWithSubTerms(Term<Integer>, Term<Integer>) - Method in class tools.refinery.logic.term.int_.IntMinTerm

constructWithSubTerms(Term<Integer>, Term<Integer>) - Method in class tools.refinery.logic.term.int_.IntMulTerm

constructWithSubTerms(Term<Integer>, Term<Integer>) - Method in class tools.refinery.logic.term.int_.IntPowTerm

constructWithSubTerms(Term<Integer>, Term<Integer>) - Method in class tools.refinery.logic.term.int_.IntSubTerm

constructWithSubTerms(Term<T>, Term<T>) - Method in class tools.refinery.logic.term.comparable.EqTerm

constructWithSubTerms(Term<T>, Term<T>) - Method in class tools.refinery.logic.term.comparable.GreaterEqTerm

constructWithSubTerms(Term<T>, Term<T>) - Method in class tools.refinery.logic.term.comparable.GreaterTerm

constructWithSubTerms(Term<T>, Term<T>) - Method in class tools.refinery.logic.term.comparable.LessEqTerm

constructWithSubTerms(Term<T>, Term<T>) - Method in class tools.refinery.logic.term.comparable.LessTerm

constructWithSubTerms(Term<T>, Term<T>) - Method in class tools.refinery.logic.term.comparable.NotEqTerm

constructWithSubTerms(Term<T>, Term<T>) - Method in class tools.refinery.logic.term.operators.AddTerm

constructWithSubTerms(Term<T>, Term<T>) - Method in class tools.refinery.logic.term.operators.AndTerm

constructWithSubTerms(Term<T>, Term<T>) - Method in class tools.refinery.logic.term.operators.DivTerm

constructWithSubTerms(Term<T>, Term<T>) - Method in class tools.refinery.logic.term.operators.MulTerm

constructWithSubTerms(Term<T>, Term<T>) - Method in class tools.refinery.logic.term.operators.OrTerm

constructWithSubTerms(Term<T>, Term<T>) - Method in class tools.refinery.logic.term.operators.PowTerm

constructWithSubTerms(Term<T>, Term<T>) - Method in class tools.refinery.logic.term.operators.SubTerm

constructWithSubTerms(Term<T>, Term<T>) - Method in class tools.refinery.logic.term.operators.XorTerm

constructWithSubTerms(Term<T1>, Term<T2>) - Method in class tools.refinery.logic.term.BinaryTerm

constructWithSubTerms(Term<UpperCardinality>, Term<UpperCardinality>) - Method in class tools.refinery.logic.term.uppercardinality.UpperCardinalityAddTerm

constructWithSubTerms(Term<UpperCardinality>, Term<UpperCardinality>) - Method in class tools.refinery.logic.term.uppercardinality.UpperCardinalityMaxTerm

constructWithSubTerms(Term<UpperCardinality>, Term<UpperCardinality>) - Method in class tools.refinery.logic.term.uppercardinality.UpperCardinalityMinTerm

constructWithSubTerms(Term<UpperCardinality>, Term<UpperCardinality>) - Method in class tools.refinery.logic.term.uppercardinality.UpperCardinalityMulTerm

contains(T) - Method in interface tools.refinery.logic.term.StatefulAggregate

context() - Method in enum class tools.refinery.logic.term.realinterval.RoundingMode

count(List<NodeVariable>) - Method in class tools.refinery.logic.dnf.RelationalQuery

count(List<Variable>) - Method in interface tools.refinery.logic.Constraint

count(NodeVariable...) - Method in class tools.refinery.logic.dnf.RelationalQuery

count(Variable...) - Method in interface tools.refinery.logic.Constraint

CountTerm - Class in tools.refinery.logic.term

CountTerm(Constraint, List<Variable>) - Constructor for class tools.refinery.logic.term.CountTerm

createEmptyAggregate() - Method in class tools.refinery.logic.term.ExtremeValueAggregator

createEmptyAggregate() - Method in interface tools.refinery.logic.term.StatefulAggregator

createEmptyAggregate() - Method in class tools.refinery.logic.term.TreapAggregator

createEmptyAggregate() - Method in class tools.refinery.logic.term.uppercardinality.UpperCardinalitySumAggregator

CycleDetectingMapper<T,R> - Class in tools.refinery.logic.util

CycleDetectingMapper(Function<T, String>, Function<T, R>) - Constructor for class tools.refinery.logic.util.CycleDetectingMapper

CycleDetectingMapper(Function<T, R>) - Constructor for class tools.refinery.logic.util.CycleDetectingMapper

D

DataVariable<T> - Class in tools.refinery.logic.term

deepCopy() - Method in interface tools.refinery.logic.term.StatefulAggregate

DeepDnfEqualityChecker - Class in tools.refinery.logic.equality

DeepDnfEqualityChecker() - Constructor for class tools.refinery.logic.equality.DeepDnfEqualityChecker

DeepDnfEqualityChecker.Pair - Record Class in tools.refinery.logic.equality

DEFAULT - Static variable in interface tools.refinery.logic.equality.DnfEqualityChecker

DEFAULT - Static variable in interface tools.refinery.logic.equality.LiteralEqualityHelper

DEFAULT - Static variable in interface tools.refinery.logic.equality.LiteralHashCodeHelper

defaultValue() - Method in class tools.refinery.logic.dnf.FunctionalQuery

defaultValue() - Method in class tools.refinery.logic.dnf.Query

defaultValue() - Method in class tools.refinery.logic.dnf.RelationalQuery

div(T) - Method in interface tools.refinery.logic.term.operators.Div

div(IntBound, RoundingMode) - Method in interface tools.refinery.logic.term.intinterval.IntBound

div(IntBound, RoundingMode) - Method in record class tools.refinery.logic.term.intinterval.IntBound.Finite

div(IntInterval) - Method in record class tools.refinery.logic.term.intinterval.IntInterval

div(RealBound, RoundingMode) - Method in interface tools.refinery.logic.term.realinterval.RealBound

div(RealBound, RoundingMode) - Method in record class tools.refinery.logic.term.realinterval.RealBound.Finite

div(RealInterval) - Method in record class tools.refinery.logic.term.realinterval.RealInterval

div(Term<Double>, Term<Double>) - Static method in class tools.refinery.logic.term.real.RealTerms

div(Term<Integer>, Term<Integer>) - Static method in class tools.refinery.logic.term.int_.IntTerms

Div<T> - Interface in tools.refinery.logic.term.operators

DivTerm<T> - Class in tools.refinery.logic.term.operators

DivTerm(Class<T>, Term<T>, Term<T>) - Constructor for class tools.refinery.logic.term.operators.DivTerm

Dnf - Class in tools.refinery.logic.dnf

A disjunctive normal form (DNF) is a disjunction of conjunctions of literals.

dnfBuilder - Variable in class tools.refinery.logic.dnf.AbstractQueryBuilder

DnfBuilder - Class in tools.refinery.logic.dnf

DnfClause - Record Class in tools.refinery.logic.dnf

DnfClause(Set<Variable>, List<Literal>) - Constructor for record class tools.refinery.logic.dnf.DnfClause

Creates an instance of a DnfClause record class.

dnfEqual(Dnf, Dnf) - Method in class tools.refinery.logic.equality.DeepDnfEqualityChecker

dnfEqual(Dnf, Dnf) - Method in interface tools.refinery.logic.equality.DnfEqualityChecker

dnfEqual(Dnf, Dnf) - Method in class tools.refinery.logic.equality.SubstitutingLiteralEqualityHelper

DnfEqualityChecker - Interface in tools.refinery.logic.equality

dnfEqualRaw(List<SymbolicParameter>, List<? extends List<? extends Literal>>, Dnf) - Method in class tools.refinery.logic.equality.DeepDnfEqualityChecker

DnfRewriter - Interface in tools.refinery.logic.rewriter

DnfUtils - Class in tools.refinery.logic.dnf

doCheckEqual(DeepDnfEqualityChecker.Pair) - Method in class tools.refinery.logic.equality.DeepDnfEqualityChecker

doEvaluate(A) - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainLowerBoundTerm

doEvaluate(A) - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainUpperBoundTerm

doEvaluate(A) - Method in class tools.refinery.logic.term.abstractdomain.AsStringTerm

doEvaluate(A) - Method in class tools.refinery.logic.term.abstractdomain.IsConcreteTerm

doEvaluate(A) - Method in class tools.refinery.logic.term.abstractdomain.IsErrorTerm

doEvaluate(A, A) - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainEqTerm

doEvaluate(A, A) - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainGreaterEqTerm

doEvaluate(A, A) - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainGreaterTerm

doEvaluate(A, A) - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainJoinTerm

doEvaluate(A, A) - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainLessEqTerm

doEvaluate(A, A) - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainLessTerm

doEvaluate(A, A) - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainMaxTerm

doEvaluate(A, A) - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainMeetTerm

doEvaluate(A, A) - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainMinTerm

doEvaluate(A, A) - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainNotEqTerm

doEvaluate(A, A) - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainRangeTerm

doEvaluate(A, A) - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainSubsetTerm

doEvaluate(A, A) - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainSupersetTerm

doEvaluate(Boolean) - Method in class tools.refinery.logic.term.bool.BoolNotTerm

doEvaluate(Boolean) - Method in class tools.refinery.logic.term.truthvalue.AsTruthValueTerm

doEvaluate(Boolean, Boolean) - Method in class tools.refinery.logic.term.bool.BoolAndTerm

doEvaluate(Boolean, Boolean) - Method in class tools.refinery.logic.term.bool.BoolOrTerm

doEvaluate(Boolean, Boolean) - Method in class tools.refinery.logic.term.bool.BoolXorTerm

doEvaluate(Double) - Method in class tools.refinery.logic.term.int_.RealToIntTerm

doEvaluate(Double) - Method in class tools.refinery.logic.term.real.RealMinusTerm

doEvaluate(Double) - Method in class tools.refinery.logic.term.real.RealPlusTerm

doEvaluate(Double, Double) - Method in class tools.refinery.logic.term.real.RealAddTerm

doEvaluate(Double, Double) - Method in class tools.refinery.logic.term.real.RealDivTerm

doEvaluate(Double, Double) - Method in class tools.refinery.logic.term.real.RealMaxTerm

doEvaluate(Double, Double) - Method in class tools.refinery.logic.term.real.RealMinTerm

doEvaluate(Double, Double) - Method in class tools.refinery.logic.term.real.RealMulTerm

doEvaluate(Double, Double) - Method in class tools.refinery.logic.term.real.RealPowTerm

doEvaluate(Double, Double) - Method in class tools.refinery.logic.term.real.RealSubTerm

doEvaluate(Integer) - Method in class tools.refinery.logic.term.int_.IntMinusTerm

doEvaluate(Integer) - Method in class tools.refinery.logic.term.int_.IntPlusTerm

doEvaluate(Integer) - Method in class tools.refinery.logic.term.real.IntToRealTerm

doEvaluate(Integer, Integer) - Method in class tools.refinery.logic.term.int_.IntAddTerm

doEvaluate(Integer, Integer) - Method in class tools.refinery.logic.term.int_.IntDivTerm

doEvaluate(Integer, Integer) - Method in class tools.refinery.logic.term.int_.IntMaxTerm

doEvaluate(Integer, Integer) - Method in class tools.refinery.logic.term.int_.IntMinTerm

doEvaluate(Integer, Integer) - Method in class tools.refinery.logic.term.int_.IntMulTerm

doEvaluate(Integer, Integer) - Method in class tools.refinery.logic.term.int_.IntPowTerm

doEvaluate(Integer, Integer) - Method in class tools.refinery.logic.term.int_.IntSubTerm

doEvaluate(T) - Method in class tools.refinery.logic.term.operators.ExpTerm

doEvaluate(T) - Method in class tools.refinery.logic.term.operators.LogTerm

doEvaluate(T) - Method in class tools.refinery.logic.term.operators.MinusTerm

doEvaluate(T) - Method in class tools.refinery.logic.term.operators.NotTerm

doEvaluate(T) - Method in class tools.refinery.logic.term.operators.PlusTerm

doEvaluate(T) - Method in class tools.refinery.logic.term.operators.SqrtTerm

doEvaluate(T) - Method in class tools.refinery.logic.term.UnaryTerm

doEvaluate(T1, T2) - Method in class tools.refinery.logic.term.BinaryTerm

doEvaluate(IntInterval) - Method in class tools.refinery.logic.term.realinterval.AsRealIntervalTerm

doEvaluate(RealInterval) - Method in class tools.refinery.logic.term.realinterval.AsIntIntervalTerm

doEvaluate(StringValue) - Method in class tools.refinery.logic.term.intinterval.IntIntervalFromStringTerm

doEvaluate(StringValue) - Method in class tools.refinery.logic.term.realinterval.RealIntervalFromStringTerm

doEvaluate(StringValue) - Method in class tools.refinery.logic.term.truthvalue.TruthValueFromStringTerm

doEvaluate(TruthValue) - Method in class tools.refinery.logic.term.truthvalue.TruthValueMayTerm

doEvaluate(TruthValue) - Method in class tools.refinery.logic.term.truthvalue.TruthValueMustTerm

doEvaluate(UpperCardinality, UpperCardinality) - Method in class tools.refinery.logic.term.uppercardinality.UpperCardinalityAddTerm

doEvaluate(UpperCardinality, UpperCardinality) - Method in class tools.refinery.logic.term.uppercardinality.UpperCardinalityMaxTerm

doEvaluate(UpperCardinality, UpperCardinality) - Method in class tools.refinery.logic.term.uppercardinality.UpperCardinalityMinTerm

doEvaluate(UpperCardinality, UpperCardinality) - Method in class tools.refinery.logic.term.uppercardinality.UpperCardinalityMulTerm

doEvaluate(T, T) - Method in class tools.refinery.logic.term.comparable.EqTerm

doEvaluate(T, T) - Method in class tools.refinery.logic.term.comparable.GreaterEqTerm

doEvaluate(T, T) - Method in class tools.refinery.logic.term.comparable.GreaterTerm

doEvaluate(T, T) - Method in class tools.refinery.logic.term.comparable.LessEqTerm

doEvaluate(T, T) - Method in class tools.refinery.logic.term.comparable.LessTerm

doEvaluate(T, T) - Method in class tools.refinery.logic.term.comparable.NotEqTerm

doEvaluate(T, T) - Method in class tools.refinery.logic.term.operators.AddTerm

doEvaluate(T, T) - Method in class tools.refinery.logic.term.operators.AndTerm

doEvaluate(T, T) - Method in class tools.refinery.logic.term.operators.DivTerm

doEvaluate(T, T) - Method in class tools.refinery.logic.term.operators.MulTerm

doEvaluate(T, T) - Method in class tools.refinery.logic.term.operators.OrTerm

doEvaluate(T, T) - Method in class tools.refinery.logic.term.operators.PowTerm

doEvaluate(T, T) - Method in class tools.refinery.logic.term.operators.SubTerm

doEvaluate(T, T) - Method in class tools.refinery.logic.term.operators.XorTerm

doRewrite(Dnf) - Method in class tools.refinery.logic.rewriter.AbstractRecursiveRewriter

doRewrite(Dnf) - Method in class tools.refinery.logic.rewriter.CompoundTermToLiteralsRewriter

doRewrite(Dnf) - Method in class tools.refinery.logic.rewriter.DuplicateDnfRemover

doRewrite(Dnf) - Method in class tools.refinery.logic.rewriter.InputParameterResolver

doSubstitute(Substitution, List<Variable>) - Method in class tools.refinery.logic.literal.AbstractCallLiteral

doSubstitute(Substitution, List<Variable>) - Method in class tools.refinery.logic.literal.CallLiteral

doSubstitute(Substitution, List<Variable>) - Method in class tools.refinery.logic.literal.RepresentativeElectionLiteral

doSubstitute(Substitution, List<Variable>) - Method in class tools.refinery.logic.term.AbstractCallTerm

doSubstitute(Substitution, List<Variable>) - Method in class tools.refinery.logic.term.AggregationTerm

doSubstitute(Substitution, List<Variable>) - Method in class tools.refinery.logic.term.CountTerm

doSubstitute(Substitution, List<Variable>) - Method in class tools.refinery.logic.term.LeftJoinTerm

DuplicateDnfRemover - Class in tools.refinery.logic.rewriter

DuplicateDnfRemover() - Constructor for class tools.refinery.logic.rewriter.DuplicateDnfRemover

E

empty() - Static method in interface tools.refinery.logic.valuation.Valuation

eq(AbstractDomain<A, C>, Term<A>, Term<A>) - Static method in class tools.refinery.logic.term.abstractdomain.AbstractDomainTerms

eq(Term<Double>, Term<Double>) - Static method in class tools.refinery.logic.term.real.RealTerms

eq(Term<Integer>, Term<Integer>) - Static method in class tools.refinery.logic.term.int_.IntTerms

eq(Term<IntInterval>, Term<IntInterval>) - Static method in class tools.refinery.logic.term.intinterval.IntIntervalTerms

eq(Term<RealInterval>, Term<RealInterval>) - Static method in class tools.refinery.logic.term.realinterval.RealIntervalTerms

eq(Term<TruthValue>, Term<TruthValue>) - Static method in class tools.refinery.logic.term.truthvalue.TruthValueTerms

eq(Term<UpperCardinality>, Term<UpperCardinality>) - Static method in class tools.refinery.logic.term.uppercardinality.UpperCardinalityTerms

EqTerm<T> - Class in tools.refinery.logic.term.comparable

EqTerm(Class<T>, Term<T>, Term<T>) - Constructor for class tools.refinery.logic.term.comparable.EqTerm

equals(Object) - Method in record class tools.refinery.logic.dnf.DnfClause

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class tools.refinery.logic.dnf.FunctionalDependency

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in class tools.refinery.logic.dnf.FunctionalQuery

equals(Object) - Method in class tools.refinery.logic.dnf.Query

equals(Object) - Method in class tools.refinery.logic.dnf.SymbolicParameter

equals(Object) - Method in record class tools.refinery.logic.equality.DeepDnfEqualityChecker.Pair

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in class tools.refinery.logic.literal.AbstractLiteral

equals(Object) - Method in record class tools.refinery.logic.substitution.MapBasedSubstitution

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in class tools.refinery.logic.term.AbstractTerm

equals(Object) - Method in record class tools.refinery.logic.term.cardinalityinterval.CardinalityInterval

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in class tools.refinery.logic.term.DataVariable

equals(Object) - Method in class tools.refinery.logic.term.ExtremeValueAggregator

equals(Object) - Method in record class tools.refinery.logic.term.intinterval.IntBound.Finite

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class tools.refinery.logic.term.intinterval.IntInterval

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in class tools.refinery.logic.term.Parameter

equals(Object) - Method in record class tools.refinery.logic.term.realinterval.RealBound.Finite

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class tools.refinery.logic.term.realinterval.RealInterval

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class tools.refinery.logic.term.string.StringValue.Concrete

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class tools.refinery.logic.term.uppercardinality.FiniteUpperCardinality

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in class tools.refinery.logic.term.uppercardinality.UnboundedUpperCardinality

equals(Object) - Method in class tools.refinery.logic.term.Variable

equals(Object) - Method in record class tools.refinery.logic.valuation.SubstitutedValuation

Indicates whether some other object is "equal to" this one.

equals(LiteralEqualityHelper, Constraint) - Method in interface tools.refinery.logic.Constraint

equals(LiteralEqualityHelper, Constraint) - Method in class tools.refinery.logic.dnf.Dnf

equalsWithSubstitution(DnfEqualityChecker, Dnf) - Method in class tools.refinery.logic.dnf.Dnf

equalsWithSubstitution(LiteralEqualityHelper, DnfClause) - Method in record class tools.refinery.logic.dnf.DnfClause

equalsWithSubstitution(LiteralEqualityHelper, Literal) - Method in class tools.refinery.logic.literal.AbstractCallLiteral

equalsWithSubstitution(LiteralEqualityHelper, Literal) - Method in class tools.refinery.logic.literal.AbstractCountLiteral

equalsWithSubstitution(LiteralEqualityHelper, Literal) - Method in class tools.refinery.logic.literal.AbstractLiteral

equalsWithSubstitution(LiteralEqualityHelper, Literal) - Method in class tools.refinery.logic.literal.AssignLiteral

equalsWithSubstitution(LiteralEqualityHelper, Literal) - Method in enum class tools.refinery.logic.literal.BooleanLiteral

equalsWithSubstitution(LiteralEqualityHelper, Literal) - Method in class tools.refinery.logic.literal.CallLiteral

equalsWithSubstitution(LiteralEqualityHelper, Literal) - Method in class tools.refinery.logic.literal.CheckLiteral

equalsWithSubstitution(LiteralEqualityHelper, Literal) - Method in class tools.refinery.logic.literal.ConstantLiteral

equalsWithSubstitution(LiteralEqualityHelper, Literal) - Method in class tools.refinery.logic.literal.EquivalenceLiteral

equalsWithSubstitution(LiteralEqualityHelper, Literal) - Method in interface tools.refinery.logic.literal.Literal

equalsWithSubstitution(LiteralEqualityHelper, Literal) - Method in class tools.refinery.logic.literal.RepresentativeElectionLiteral

equalsWithSubstitution(LiteralEqualityHelper, AnyTerm) - Method in class tools.refinery.logic.term.AbstractCallTerm

equalsWithSubstitution(LiteralEqualityHelper, AnyTerm) - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainBinaryTerm

equalsWithSubstitution(LiteralEqualityHelper, AnyTerm) - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainUnaryTerm

equalsWithSubstitution(LiteralEqualityHelper, AnyTerm) - Method in class tools.refinery.logic.term.AbstractTerm

equalsWithSubstitution(LiteralEqualityHelper, AnyTerm) - Method in class tools.refinery.logic.term.AggregationTerm

equalsWithSubstitution(LiteralEqualityHelper, AnyTerm) - Method in class tools.refinery.logic.term.AnyDataVariable

equalsWithSubstitution(LiteralEqualityHelper, AnyTerm) - Method in interface tools.refinery.logic.term.AnyTerm

equalsWithSubstitution(LiteralEqualityHelper, AnyTerm) - Method in class tools.refinery.logic.term.BinaryTerm

equalsWithSubstitution(LiteralEqualityHelper, AnyTerm) - Method in class tools.refinery.logic.term.ConstantTerm

equalsWithSubstitution(LiteralEqualityHelper, AnyTerm) - Method in class tools.refinery.logic.term.DataVariable

equalsWithSubstitution(LiteralEqualityHelper, AnyTerm) - Method in class tools.refinery.logic.term.LeftJoinTerm

equalsWithSubstitution(LiteralEqualityHelper, AnyTerm) - Method in class tools.refinery.logic.term.NodeIdTerm

equalsWithSubstitution(LiteralEqualityHelper, AnyTerm) - Method in class tools.refinery.logic.term.UnaryTerm

equalsWithSubstitution(LiteralEqualityHelper, CallSite) - Method in class tools.refinery.logic.util.CallSite

EquivalenceLiteral - Class in tools.refinery.logic.literal

EquivalenceLiteral(boolean, Variable, Variable) - Constructor for class tools.refinery.logic.literal.EquivalenceLiteral

error() - Method in interface tools.refinery.logic.AbstractDomain

error() - Method in class tools.refinery.logic.term.cardinalityinterval.CardinalityDomain

error() - Method in class tools.refinery.logic.term.intinterval.IntIntervalDomain

error() - Method in enum class tools.refinery.logic.term.intinterval.RoundingMode

error() - Method in class tools.refinery.logic.term.realinterval.RealIntervalDomain

error() - Method in enum class tools.refinery.logic.term.realinterval.RoundingMode

error() - Method in class tools.refinery.logic.term.string.StringDomain

error() - Method in class tools.refinery.logic.term.truthvalue.TruthValueDomain

error(AbstractDomain<A, C>) - Static method in class tools.refinery.logic.term.abstractdomain.AbstractDomainTerms

ERROR - Enum constant in enum class tools.refinery.logic.term.truthvalue.TruthValue

ERROR - Static variable in class tools.refinery.logic.term.cardinalityinterval.CardinalityIntervals

ERROR - Static variable in record class tools.refinery.logic.term.intinterval.IntInterval

ERROR - Static variable in record class tools.refinery.logic.term.realinterval.RealInterval

ERROR - Static variable in interface tools.refinery.logic.term.string.StringValue

evaluate(Valuation) - Method in class tools.refinery.logic.term.AbstractCallTerm

evaluate(Valuation) - Method in class tools.refinery.logic.term.BinaryTerm

evaluate(Valuation) - Method in class tools.refinery.logic.term.ConstantTerm

evaluate(Valuation) - Method in class tools.refinery.logic.term.DataVariable

evaluate(Valuation) - Method in class tools.refinery.logic.term.NodeIdTerm

evaluate(Valuation) - Method in interface tools.refinery.logic.term.Term

evaluate(Valuation) - Method in class tools.refinery.logic.term.UnaryTerm

exactly(int) - Static method in class tools.refinery.logic.term.cardinalityinterval.CardinalityIntervals

exp() - Method in interface tools.refinery.logic.term.operators.Exp

exp() - Method in record class tools.refinery.logic.term.realinterval.RealInterval

exp(RoundingMode) - Method in interface tools.refinery.logic.term.realinterval.RealBound

exp(RoundingMode) - Method in record class tools.refinery.logic.term.realinterval.RealBound.Finite

Exp<T> - Interface in tools.refinery.logic.term.operators

ExpTerm<T> - Class in tools.refinery.logic.term.operators

ExpTerm(Class<T>, Term<T>) - Constructor for class tools.refinery.logic.term.operators.ExpTerm

ExtremeValueAggregator<T> - Class in tools.refinery.logic.term

ExtremeValueAggregator(Class<T>, T) - Constructor for class tools.refinery.logic.term.ExtremeValueAggregator

ExtremeValueAggregator(Class<T>, T, Comparator<T>) - Constructor for class tools.refinery.logic.term.ExtremeValueAggregator

F

FAILING - Enum constant in enum class tools.refinery.logic.substitution.StatelessSubstitution

fallback() - Method in record class tools.refinery.logic.substitution.MapBasedSubstitution

Returns the value of the fallback record component.

fallback(Substitution) - Method in class tools.refinery.logic.substitution.SubstitutionBuilder

FALSE - Enum constant in enum class tools.refinery.logic.literal.BooleanLiteral

FALSE - Enum constant in enum class tools.refinery.logic.term.truthvalue.TruthValue

Finite(int) - Constructor for record class tools.refinery.logic.term.intinterval.IntBound.Finite

Creates an instance of a Finite record class.

Finite(BigDecimal) - Constructor for record class tools.refinery.logic.term.realinterval.RealBound.Finite

Creates an instance of a Finite record class.

finiteUpperBound() - Method in record class tools.refinery.logic.term.uppercardinality.FiniteUpperCardinality

Returns the value of the finiteUpperBound record component.

FiniteUpperCardinality - Record Class in tools.refinery.logic.term.uppercardinality

FiniteUpperCardinality(int) - Constructor for record class tools.refinery.logic.term.uppercardinality.FiniteUpperCardinality

Creates an instance of a FiniteUpperCardinality record class.

FLOOR - Enum constant in enum class tools.refinery.logic.term.intinterval.RoundingMode

FLOOR - Enum constant in enum class tools.refinery.logic.term.realinterval.RoundingMode

forEach() - Method in record class tools.refinery.logic.dnf.FunctionalDependency

Returns the value of the forEach record component.

fromBoolean(boolean) - Static method in enum class tools.refinery.logic.literal.BooleanLiteral

fromInt(IntBound) - Static method in interface tools.refinery.logic.term.realinterval.RealBound

fromInt(IntInterval) - Static method in record class tools.refinery.logic.term.realinterval.RealInterval

fromString(Term<StringValue>) - Static method in class tools.refinery.logic.term.intinterval.IntIntervalTerms

fromString(Term<StringValue>) - Static method in class tools.refinery.logic.term.realinterval.RealIntervalTerms

fromString(Term<StringValue>) - Static method in class tools.refinery.logic.term.truthvalue.TruthValueTerms

functionalDependencies(Collection<FunctionalDependency<Variable>>) - Method in class tools.refinery.logic.dnf.AbstractQueryBuilder

functionalDependencies(Collection<FunctionalDependency<Variable>>) - Method in class tools.refinery.logic.dnf.DnfBuilder

functionalDependency(Set<? extends Variable>, Set<? extends Variable>) - Method in class tools.refinery.logic.dnf.AbstractQueryBuilder

functionalDependency(Set<? extends Variable>, Set<? extends Variable>) - Method in class tools.refinery.logic.dnf.DnfBuilder

functionalDependency(FunctionalDependency<Variable>) - Method in class tools.refinery.logic.dnf.AbstractQueryBuilder

functionalDependency(FunctionalDependency<Variable>) - Method in class tools.refinery.logic.dnf.DnfBuilder

FunctionalDependency<T> - Record Class in tools.refinery.logic.dnf

Represents a functional dependency between two sets of variables.

FunctionalDependency(Set<T>, Set<T>) - Constructor for record class tools.refinery.logic.dnf.FunctionalDependency

Validates the functional dependency.

FunctionalQuery<T> - Class in tools.refinery.logic.dnf

FunctionalQueryBuilder<T> - Class in tools.refinery.logic.dnf

FunctionalQueryCallback0<T> - Interface in tools.refinery.logic.dnf.callback

FunctionalQueryCallback1<T> - Interface in tools.refinery.logic.dnf.callback

FunctionalQueryCallback2<T> - Interface in tools.refinery.logic.dnf.callback

FunctionalQueryCallback3<T> - Interface in tools.refinery.logic.dnf.callback

FunctionalQueryCallback4<T> - Interface in tools.refinery.logic.dnf.callback

G

generateUniqueName(String) - Static method in class tools.refinery.logic.dnf.DnfUtils

getAbstractDomain() - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainBinaryTerm

getAbstractDomain() - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainUnaryTerm

getAggregator() - Method in class tools.refinery.logic.term.AggregationTerm

getAlreadyMapped(T) - Method in class tools.refinery.logic.util.CycleDetectingMapper

getArbitrary() - Method in interface tools.refinery.logic.AbstractValue

getArbitrary() - Method in record class tools.refinery.logic.term.cardinalityinterval.CardinalityInterval

getArbitrary() - Method in record class tools.refinery.logic.term.intinterval.IntInterval

getArbitrary() - Method in record class tools.refinery.logic.term.realinterval.RealInterval

getArbitrary() - Method in record class tools.refinery.logic.term.string.StringValue.Concrete

getArbitrary() - Method in class tools.refinery.logic.term.string.StringValue.Error

getArbitrary() - Method in class tools.refinery.logic.term.string.StringValue.Unknown

getArbitrary() - Method in enum class tools.refinery.logic.term.truthvalue.TruthValue

getArguments() - Method in class tools.refinery.logic.literal.AbstractCallLiteral

getArguments() - Method in class tools.refinery.logic.term.AbstractCallTerm

getArguments() - Method in class tools.refinery.logic.util.CallSite

getArgumentsOfDirection(ParameterDirection) - Method in class tools.refinery.logic.literal.AbstractCallLiteral

getArgumentsOfDirection(ParameterDirection) - Method in class tools.refinery.logic.term.AbstractCallTerm

getArgumentsOfDirection(ParameterDirection) - Method in class tools.refinery.logic.util.CallSite

getArgumentType() - Method in class tools.refinery.logic.term.comparable.ComparisonTerm

getBody() - Method in class tools.refinery.logic.term.UnaryTerm

getBodyDomain() - Method in interface tools.refinery.logic.term.AnyPartialAggregator

getBodyDomain() - Method in class tools.refinery.logic.term.PartialAggregator

getBodyType() - Method in class tools.refinery.logic.term.UnaryTerm

getClauseIndex() - Method in exception class tools.refinery.logic.dnf.InvalidClauseException

getClauses() - Method in class tools.refinery.logic.dnf.Dnf

getConcrete() - Method in interface tools.refinery.logic.AbstractValue

getConcrete() - Method in record class tools.refinery.logic.term.cardinalityinterval.CardinalityInterval

getConcrete() - Method in record class tools.refinery.logic.term.intinterval.IntInterval

getConcrete() - Method in record class tools.refinery.logic.term.realinterval.RealInterval

getConcrete() - Method in record class tools.refinery.logic.term.string.StringValue.Concrete

getConcrete() - Method in class tools.refinery.logic.term.string.StringValue.Error

getConcrete() - Method in class tools.refinery.logic.term.string.StringValue.Unknown

getConcrete() - Method in enum class tools.refinery.logic.term.truthvalue.TruthValue

getConnectivity() - Method in class tools.refinery.logic.literal.RepresentativeElectionLiteral

getDefaultValue() - Method in class tools.refinery.logic.term.LeftJoinTerm

getDirection() - Method in class tools.refinery.logic.term.Parameter

getDnf() - Method in interface tools.refinery.logic.dnf.AnyQuery

getDnf() - Method in class tools.refinery.logic.dnf.Query

getEmptyResult() - Method in interface tools.refinery.logic.term.Aggregator

getEmptyResult() - Method in class tools.refinery.logic.term.ExtremeValueAggregator

getEmptyResult() - Method in class tools.refinery.logic.term.int_.IntSumAggregator

getEmptyResult() - Method in interface tools.refinery.logic.term.StatefulAggregator

getExplicitName() - Method in class tools.refinery.logic.term.Variable

getFunctionalDependencies() - Method in class tools.refinery.logic.dnf.Dnf

getInnerAggregator() - Method in class tools.refinery.logic.term.PartialAggregator.JoinAggregator

getInnerAggregator() - Method in class tools.refinery.logic.term.PartialAggregator.MeetAggregator

getInnerAggregator() - Method in class tools.refinery.logic.term.PartialAggregator.MultiplicityInsensitive

getInnerAggregator() - Method in class tools.refinery.logic.term.PartialAggregator.MultiplicitySensitive

getInProgress() - Method in class tools.refinery.logic.equality.DeepDnfEqualityChecker

getInProgress() - Method in class tools.refinery.logic.util.CycleDetectingMapper

getInputType() - Method in interface tools.refinery.logic.term.Aggregator

getInputType() - Method in class tools.refinery.logic.term.ExtremeValueAggregator

getInputType() - Method in class tools.refinery.logic.term.int_.IntSumAggregator

getInputType() - Method in class tools.refinery.logic.term.TreapAggregator

getInputType() - Method in class tools.refinery.logic.term.uppercardinality.UpperCardinalitySumAggregator

getInputVariable() - Method in class tools.refinery.logic.term.AggregationTerm

getInputVariables(Set<? extends Variable>) - Method in class tools.refinery.logic.literal.AbstractCallLiteral

getInputVariables(Set<? extends Variable>) - Method in class tools.refinery.logic.literal.AssignLiteral

getInputVariables(Set<? extends Variable>) - Method in enum class tools.refinery.logic.literal.BooleanLiteral

getInputVariables(Set<? extends Variable>) - Method in class tools.refinery.logic.literal.CallLiteral

getInputVariables(Set<? extends Variable>) - Method in class tools.refinery.logic.literal.CheckLiteral

getInputVariables(Set<? extends Variable>) - Method in class tools.refinery.logic.literal.ConstantLiteral

getInputVariables(Set<? extends Variable>) - Method in class tools.refinery.logic.literal.EquivalenceLiteral

getInputVariables(Set<? extends Variable>) - Method in interface tools.refinery.logic.literal.Literal

getInputVariables(Set<? extends Variable>) - Method in class tools.refinery.logic.literal.RepresentativeElectionLiteral

getInputVariables(Set<? extends Variable>) - Method in class tools.refinery.logic.term.AbstractCallTerm

getInputVariables(Set<? extends Variable>) - Method in class tools.refinery.logic.term.AggregationTerm

getInputVariables(Set<? extends Variable>) - Method in interface tools.refinery.logic.term.AnyTerm

getInputVariables(Set<? extends Variable>) - Method in class tools.refinery.logic.term.BinaryTerm

getInputVariables(Set<? extends Variable>) - Method in class tools.refinery.logic.term.LeftJoinTerm

getInputVariables(Set<? extends Variable>) - Method in class tools.refinery.logic.term.UnaryTerm

getInputVariablesForNonEnumerableCall(Set<? extends Variable>) - Method in class tools.refinery.logic.util.CallSite

getIntermediateType() - Method in class tools.refinery.logic.term.PartialAggregator.MultiplicitySensitive

getLeft() - Method in class tools.refinery.logic.literal.EquivalenceLiteral

getLeft() - Method in class tools.refinery.logic.term.BinaryTerm

getLeftType() - Method in class tools.refinery.logic.term.BinaryTerm

getName() - Method in enum class tools.refinery.logic.term.truthvalue.TruthValue

getName() - Method in class tools.refinery.logic.term.Variable

getNeutralElement() - Method in class tools.refinery.logic.term.PartialAggregator.MultiplicityInsensitive

getNodeId() - Method in class tools.refinery.logic.literal.ConstantLiteral

getNodeId(NodeVariable) - Method in record class tools.refinery.logic.valuation.SubstitutedValuation

getNodeId(NodeVariable) - Method in interface tools.refinery.logic.valuation.Valuation

getNodeVariable() - Method in class tools.refinery.logic.term.NodeIdTerm

getOutputVariables() - Method in class tools.refinery.logic.literal.AbstractCountLiteral

getOutputVariables() - Method in class tools.refinery.logic.literal.AssignLiteral

getOutputVariables() - Method in enum class tools.refinery.logic.literal.BooleanLiteral

getOutputVariables() - Method in class tools.refinery.logic.literal.CallLiteral

getOutputVariables() - Method in class tools.refinery.logic.literal.CheckLiteral

getOutputVariables() - Method in class tools.refinery.logic.literal.ConstantLiteral

getOutputVariables() - Method in class tools.refinery.logic.literal.EquivalenceLiteral

getOutputVariables() - Method in interface tools.refinery.logic.literal.Literal

getOutputVariables() - Method in class tools.refinery.logic.literal.RepresentativeElectionLiteral

getParameters() - Method in interface tools.refinery.logic.Constraint

getParameters() - Method in class tools.refinery.logic.dnf.Dnf

getPlaceholderVariable() - Method in class tools.refinery.logic.term.LeftJoinTerm

getPolarity() - Method in class tools.refinery.logic.literal.CallLiteral

getPrivateVariables(Set<? extends Variable>) - Method in class tools.refinery.logic.literal.AbstractCallLiteral

getPrivateVariables(Set<? extends Variable>) - Method in class tools.refinery.logic.literal.AssignLiteral

getPrivateVariables(Set<? extends Variable>) - Method in enum class tools.refinery.logic.literal.BooleanLiteral

getPrivateVariables(Set<? extends Variable>) - Method in class tools.refinery.logic.literal.CallLiteral

getPrivateVariables(Set<? extends Variable>) - Method in class tools.refinery.logic.literal.CheckLiteral

getPrivateVariables(Set<? extends Variable>) - Method in class tools.refinery.logic.literal.ConstantLiteral

getPrivateVariables(Set<? extends Variable>) - Method in class tools.refinery.logic.literal.EquivalenceLiteral

getPrivateVariables(Set<? extends Variable>) - Method in interface tools.refinery.logic.literal.Literal

getPrivateVariables(Set<? extends Variable>) - Method in class tools.refinery.logic.literal.RepresentativeElectionLiteral

getPrivateVariables(Set<? extends Variable>) - Method in class tools.refinery.logic.term.AbstractCallTerm

getPrivateVariables(Set<? extends Variable>) - Method in interface tools.refinery.logic.term.AnyTerm

getPrivateVariables(Set<? extends Variable>) - Method in class tools.refinery.logic.term.BinaryTerm

getPrivateVariables(Set<? extends Variable>) - Method in class tools.refinery.logic.term.LeftJoinTerm

getPrivateVariables(Set<? extends Variable>) - Method in class tools.refinery.logic.term.UnaryTerm

getPrivateVariablesForNonEnumerableCall(Set<? extends Variable>) - Method in class tools.refinery.logic.util.CallSite

getReduction() - Method in interface tools.refinery.logic.Constraint

getReduction() - Method in class tools.refinery.logic.dnf.Dnf

getResult() - Method in interface tools.refinery.logic.term.StatefulAggregate

getResultDomain() - Method in interface tools.refinery.logic.term.AnyPartialAggregator

getResultDomain() - Method in class tools.refinery.logic.term.PartialAggregator

getResultType() - Method in class tools.refinery.logic.literal.AbstractCountLiteral

getResultType() - Method in interface tools.refinery.logic.term.Aggregator

getResultType() - Method in class tools.refinery.logic.term.ExtremeValueAggregator

getResultType() - Method in class tools.refinery.logic.term.int_.IntSumAggregator

getResultType() - Method in class tools.refinery.logic.term.TreapAggregator

getResultType() - Method in class tools.refinery.logic.term.uppercardinality.UpperCardinalitySumAggregator

getResultVariable() - Method in class tools.refinery.logic.literal.AbstractCountLiteral

getRight() - Method in class tools.refinery.logic.literal.EquivalenceLiteral

getRight() - Method in class tools.refinery.logic.term.BinaryTerm

getRightType() - Method in class tools.refinery.logic.term.BinaryTerm

getSubstitute(Variable) - Method in record class tools.refinery.logic.substitution.MapBasedSubstitution

getSubstitute(Variable) - Method in class tools.refinery.logic.substitution.RenewingSubstitution

getSubstitute(Variable) - Method in interface tools.refinery.logic.substitution.Substitution

getSubstitutedArguments(Substitution) - Method in class tools.refinery.logic.util.CallSite

getSymbolicParameters() - Method in class tools.refinery.logic.dnf.Dnf

getTarget() - Method in class tools.refinery.logic.literal.AbstractCallLiteral

getTarget() - Method in class tools.refinery.logic.term.AbstractCallTerm

getTarget() - Method in class tools.refinery.logic.util.CallSite

getTerm() - Method in class tools.refinery.logic.literal.AssignLiteral

getTerm() - Method in class tools.refinery.logic.literal.CheckLiteral

getTerm() - Method in interface tools.refinery.logic.literal.TermLiteral

getType() - Method in class tools.refinery.logic.term.AbstractTerm

getType() - Method in interface tools.refinery.logic.term.AnyTerm

getType() - Method in class tools.refinery.logic.term.DataVariable

getType() - Method in interface tools.refinery.logic.term.Term

getTypeSafeSubstitute(DataVariable<T>) - Method in interface tools.refinery.logic.substitution.Substitution

getTypeSafeSubstitute(NodeVariable) - Method in interface tools.refinery.logic.substitution.Substitution

getUniqueName() - Method in class tools.refinery.logic.dnf.Dnf

getUniqueName() - Method in class tools.refinery.logic.term.Variable

getValue() - Method in class tools.refinery.logic.term.ConstantTerm

getValue(DataVariable<T>) - Method in record class tools.refinery.logic.valuation.SubstitutedValuation

getValue(DataVariable<T>) - Method in interface tools.refinery.logic.valuation.Valuation

getVariable() - Method in class tools.refinery.logic.dnf.SymbolicParameter

getVariable() - Method in class tools.refinery.logic.literal.AssignLiteral

getVariable() - Method in class tools.refinery.logic.literal.ConstantLiteral

getVariableHashCode(Variable) - Method in interface tools.refinery.logic.equality.LiteralHashCodeHelper

getVariableHashCode(Variable) - Method in class tools.refinery.logic.equality.SubstitutingLiteralHashCodeHelper

getVariables() - Method in class tools.refinery.logic.term.AbstractCallTerm

getVariables() - Method in class tools.refinery.logic.term.AnyDataVariable

getVariables() - Method in interface tools.refinery.logic.term.AnyTerm

getVariables() - Method in class tools.refinery.logic.term.BinaryTerm

getVariables() - Method in class tools.refinery.logic.term.ConstantTerm

getVariables() - Method in class tools.refinery.logic.term.NodeIdTerm

getVariables() - Method in class tools.refinery.logic.term.UnaryTerm

greater(ComparableAbstractDomain<A, C>, Term<A>, Term<A>) - Static method in class tools.refinery.logic.term.abstractdomain.AbstractDomainTerms

greater(Term<Double>, Term<Double>) - Static method in class tools.refinery.logic.term.real.RealTerms

greater(Term<Integer>, Term<Integer>) - Static method in class tools.refinery.logic.term.int_.IntTerms

greater(Term<IntInterval>, Term<IntInterval>) - Static method in class tools.refinery.logic.term.intinterval.IntIntervalTerms

greater(Term<RealInterval>, Term<RealInterval>) - Static method in class tools.refinery.logic.term.realinterval.RealIntervalTerms

greater(Term<UpperCardinality>, Term<UpperCardinality>) - Static method in class tools.refinery.logic.term.uppercardinality.UpperCardinalityTerms

greaterEq(ComparableAbstractDomain<A, C>, Term<A>, Term<A>) - Static method in class tools.refinery.logic.term.abstractdomain.AbstractDomainTerms

greaterEq(Term<Double>, Term<Double>) - Static method in class tools.refinery.logic.term.real.RealTerms

greaterEq(Term<Integer>, Term<Integer>) - Static method in class tools.refinery.logic.term.int_.IntTerms

greaterEq(Term<IntInterval>, Term<IntInterval>) - Static method in class tools.refinery.logic.term.intinterval.IntIntervalTerms

greaterEq(Term<RealInterval>, Term<RealInterval>) - Static method in class tools.refinery.logic.term.realinterval.RealIntervalTerms

greaterEq(Term<UpperCardinality>, Term<UpperCardinality>) - Static method in class tools.refinery.logic.term.uppercardinality.UpperCardinalityTerms

GreaterEqTerm<T> - Class in tools.refinery.logic.term.comparable

GreaterEqTerm(Class<T>, Term<T>, Term<T>) - Constructor for class tools.refinery.logic.term.comparable.GreaterEqTerm

GreaterTerm<T> - Class in tools.refinery.logic.term.comparable

GreaterTerm(Class<T>, Term<T>, Term<T>) - Constructor for class tools.refinery.logic.term.comparable.GreaterTerm

greaterThanOrEquals(IntBound) - Method in interface tools.refinery.logic.term.intinterval.IntBound

greaterThanOrEquals(RealBound) - Method in interface tools.refinery.logic.term.realinterval.RealBound

H

hashCode() - Method in record class tools.refinery.logic.dnf.DnfClause

Returns a hash code value for this object.

hashCode() - Method in record class tools.refinery.logic.dnf.FunctionalDependency

Returns a hash code value for this object.

hashCode() - Method in class tools.refinery.logic.dnf.FunctionalQuery

hashCode() - Method in class tools.refinery.logic.dnf.Query

hashCode() - Method in class tools.refinery.logic.dnf.SymbolicParameter

hashCode() - Method in record class tools.refinery.logic.equality.DeepDnfEqualityChecker.Pair

Returns a hash code value for this object.

hashCode() - Method in class tools.refinery.logic.literal.AbstractLiteral

hashCode() - Method in record class tools.refinery.logic.substitution.MapBasedSubstitution

Returns a hash code value for this object.

hashCode() - Method in class tools.refinery.logic.term.AbstractTerm

hashCode() - Method in record class tools.refinery.logic.term.cardinalityinterval.CardinalityInterval

Returns a hash code value for this object.

hashCode() - Method in class tools.refinery.logic.term.DataVariable

hashCode() - Method in class tools.refinery.logic.term.ExtremeValueAggregator

hashCode() - Method in record class tools.refinery.logic.term.intinterval.IntBound.Finite

Returns a hash code value for this object.

hashCode() - Method in record class tools.refinery.logic.term.intinterval.IntInterval

Returns a hash code value for this object.

hashCode() - Method in class tools.refinery.logic.term.Parameter

hashCode() - Method in record class tools.refinery.logic.term.realinterval.RealBound.Finite

Returns a hash code value for this object.

hashCode() - Method in record class tools.refinery.logic.term.realinterval.RealInterval

Returns a hash code value for this object.

hashCode() - Method in record class tools.refinery.logic.term.string.StringValue.Concrete

Returns a hash code value for this object.

hashCode() - Method in record class tools.refinery.logic.term.uppercardinality.FiniteUpperCardinality

Returns a hash code value for this object.

hashCode() - Method in class tools.refinery.logic.term.uppercardinality.UnboundedUpperCardinality

hashCode() - Method in class tools.refinery.logic.term.Variable

hashCode() - Method in record class tools.refinery.logic.valuation.SubstitutedValuation

Returns a hash code value for this object.

hashCodeWithSubstitution() - Method in class tools.refinery.logic.dnf.Dnf

hashCodeWithSubstitution(int) - Method in class tools.refinery.logic.term.DataVariable

hashCodeWithSubstitution(int) - Method in class tools.refinery.logic.term.NodeVariable

hashCodeWithSubstitution(int) - Method in class tools.refinery.logic.term.Variable

hashCodeWithSubstitution(LiteralHashCodeHelper) - Method in record class tools.refinery.logic.dnf.DnfClause

hashCodeWithSubstitution(LiteralHashCodeHelper) - Method in class tools.refinery.logic.dnf.SymbolicParameter

hashCodeWithSubstitution(LiteralHashCodeHelper) - Method in class tools.refinery.logic.literal.AbstractCallLiteral

hashCodeWithSubstitution(LiteralHashCodeHelper) - Method in class tools.refinery.logic.literal.AbstractCountLiteral

hashCodeWithSubstitution(LiteralHashCodeHelper) - Method in class tools.refinery.logic.literal.AbstractLiteral

hashCodeWithSubstitution(LiteralHashCodeHelper) - Method in class tools.refinery.logic.literal.AssignLiteral

hashCodeWithSubstitution(LiteralHashCodeHelper) - Method in enum class tools.refinery.logic.literal.BooleanLiteral

hashCodeWithSubstitution(LiteralHashCodeHelper) - Method in class tools.refinery.logic.literal.CallLiteral

hashCodeWithSubstitution(LiteralHashCodeHelper) - Method in class tools.refinery.logic.literal.CheckLiteral

hashCodeWithSubstitution(LiteralHashCodeHelper) - Method in class tools.refinery.logic.literal.ConstantLiteral

hashCodeWithSubstitution(LiteralHashCodeHelper) - Method in class tools.refinery.logic.literal.EquivalenceLiteral

hashCodeWithSubstitution(LiteralHashCodeHelper) - Method in interface tools.refinery.logic.literal.Literal

hashCodeWithSubstitution(LiteralHashCodeHelper) - Method in class tools.refinery.logic.literal.RepresentativeElectionLiteral

hashCodeWithSubstitution(LiteralHashCodeHelper) - Method in class tools.refinery.logic.term.AbstractCallTerm

hashCodeWithSubstitution(LiteralHashCodeHelper) - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainBinaryTerm

hashCodeWithSubstitution(LiteralHashCodeHelper) - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainUnaryTerm

hashCodeWithSubstitution(LiteralHashCodeHelper) - Method in class tools.refinery.logic.term.AbstractTerm

hashCodeWithSubstitution(LiteralHashCodeHelper) - Method in class tools.refinery.logic.term.AggregationTerm

hashCodeWithSubstitution(LiteralHashCodeHelper) - Method in interface tools.refinery.logic.term.AnyTerm

hashCodeWithSubstitution(LiteralHashCodeHelper) - Method in class tools.refinery.logic.term.BinaryTerm

hashCodeWithSubstitution(LiteralHashCodeHelper) - Method in class tools.refinery.logic.term.ConstantTerm

hashCodeWithSubstitution(LiteralHashCodeHelper) - Method in class tools.refinery.logic.term.DataVariable

hashCodeWithSubstitution(LiteralHashCodeHelper) - Method in class tools.refinery.logic.term.LeftJoinTerm

hashCodeWithSubstitution(LiteralHashCodeHelper) - Method in class tools.refinery.logic.term.NodeIdTerm

hashCodeWithSubstitution(LiteralHashCodeHelper) - Method in class tools.refinery.logic.term.UnaryTerm

hashCodeWithSubstitution(LiteralHashCodeHelper) - Method in class tools.refinery.logic.util.CallSite

I

IDENTITY - Enum constant in enum class tools.refinery.logic.substitution.StatelessSubstitution

IN - Enum constant in enum class tools.refinery.logic.term.ParameterDirection

infinity() - Method in enum class tools.refinery.logic.term.realinterval.RoundingMode

InputParameterResolver - Class in tools.refinery.logic.rewriter

InputParameterResolver() - Constructor for class tools.refinery.logic.rewriter.InputParameterResolver

INSTANCE - Static variable in class tools.refinery.logic.term.cardinalityinterval.CardinalityDomain

INSTANCE - Static variable in class tools.refinery.logic.term.int_.IntSumAggregator

INSTANCE - Static variable in class tools.refinery.logic.term.intinterval.IntIntervalDomain

INSTANCE - Static variable in class tools.refinery.logic.term.realinterval.RealIntervalDomain

INSTANCE - Static variable in class tools.refinery.logic.term.string.StringDomain

INSTANCE - Static variable in class tools.refinery.logic.term.truthvalue.TruthValueDomain

INSTANCE - Static variable in class tools.refinery.logic.term.uppercardinality.UpperCardinalitySumAggregator

INT_INTERVAL_SUM - Static variable in class tools.refinery.logic.term.intinterval.IntIntervalTerms

INT_MAX - Static variable in class tools.refinery.logic.term.int_.IntTerms

INT_MAX - Static variable in class tools.refinery.logic.term.intinterval.IntIntervalTerms

INT_MIN - Static variable in class tools.refinery.logic.term.int_.IntTerms

INT_MIN - Static variable in class tools.refinery.logic.term.intinterval.IntIntervalTerms

INT_SUM - Static variable in class tools.refinery.logic.term.int_.IntTerms

INT_SUM - Static variable in class tools.refinery.logic.term.intinterval.IntIntervalTerms

IntAddTerm - Class in tools.refinery.logic.term.int_

IntAddTerm(Term<Integer>, Term<Integer>) - Constructor for class tools.refinery.logic.term.int_.IntAddTerm

IntBinaryTerm - Class in tools.refinery.logic.term.int_

IntBinaryTerm(Term<Integer>, Term<Integer>) - Constructor for class tools.refinery.logic.term.int_.IntBinaryTerm

IntBound - Interface in tools.refinery.logic.term.intinterval

IntBound.Finite - Record Class in tools.refinery.logic.term.intinterval

IntBound.Infinite - Enum Class in tools.refinery.logic.term.intinterval

IntDivTerm - Class in tools.refinery.logic.term.int_

IntDivTerm(Term<Integer>, Term<Integer>) - Constructor for class tools.refinery.logic.term.int_.IntDivTerm

IntInterval - Record Class in tools.refinery.logic.term.intinterval

IntInterval(IntBound, IntBound) - Constructor for record class tools.refinery.logic.term.intinterval.IntInterval

Creates an instance of a IntInterval record class.

IntIntervalDomain - Class in tools.refinery.logic.term.intinterval

IntIntervalFromStringTerm - Class in tools.refinery.logic.term.intinterval

IntIntervalFromStringTerm(Term<StringValue>) - Constructor for class tools.refinery.logic.term.intinterval.IntIntervalFromStringTerm

IntIntervalTerms - Class in tools.refinery.logic.term.intinterval

IntMaxTerm - Class in tools.refinery.logic.term.int_

IntMaxTerm(Term<Integer>, Term<Integer>) - Constructor for class tools.refinery.logic.term.int_.IntMaxTerm

IntMinTerm - Class in tools.refinery.logic.term.int_

IntMinTerm(Term<Integer>, Term<Integer>) - Constructor for class tools.refinery.logic.term.int_.IntMinTerm

IntMinusTerm - Class in tools.refinery.logic.term.int_

IntMinusTerm(Term<Integer>) - Constructor for class tools.refinery.logic.term.int_.IntMinusTerm

IntMulTerm - Class in tools.refinery.logic.term.int_

IntMulTerm(Term<Integer>, Term<Integer>) - Constructor for class tools.refinery.logic.term.int_.IntMulTerm

IntPlusTerm - Class in tools.refinery.logic.term.int_

IntPlusTerm(Term<Integer>) - Constructor for class tools.refinery.logic.term.int_.IntPlusTerm

IntPowTerm - Class in tools.refinery.logic.term.int_

IntPowTerm(Term<Integer>, Term<Integer>) - Constructor for class tools.refinery.logic.term.int_.IntPowTerm

IntSubTerm - Class in tools.refinery.logic.term.int_

IntSubTerm(Term<Integer>, Term<Integer>) - Constructor for class tools.refinery.logic.term.int_.IntSubTerm

IntSumAggregator - Class in tools.refinery.logic.term.int_

IntTerms - Class in tools.refinery.logic.term.int_

IntToRealTerm - Class in tools.refinery.logic.term.real

IntToRealTerm(Term<Integer>) - Constructor for class tools.refinery.logic.term.real.IntToRealTerm

IntUnaryTerm - Class in tools.refinery.logic.term.int_

IntUnaryTerm(Term<Integer>) - Constructor for class tools.refinery.logic.term.int_.IntUnaryTerm

InvalidClauseException - Exception Class in tools.refinery.logic.dnf

InvalidClauseException(int) - Constructor for exception class tools.refinery.logic.dnf.InvalidClauseException

InvalidClauseException(int, String) - Constructor for exception class tools.refinery.logic.dnf.InvalidClauseException

InvalidClauseException(int, String, Throwable) - Constructor for exception class tools.refinery.logic.dnf.InvalidClauseException

InvalidClauseException(int, Throwable) - Constructor for exception class tools.refinery.logic.dnf.InvalidClauseException

invalidIndex(int) - Method in interface tools.refinery.logic.Constraint

InvalidQueryException - Exception Class in tools.refinery.logic

InvalidQueryException() - Constructor for exception class tools.refinery.logic.InvalidQueryException

InvalidQueryException(String) - Constructor for exception class tools.refinery.logic.InvalidQueryException

InvalidQueryException(String, Throwable) - Constructor for exception class tools.refinery.logic.InvalidQueryException

InvalidQueryException(Throwable) - Constructor for exception class tools.refinery.logic.InvalidQueryException

isAssignable(Variable) - Method in class tools.refinery.logic.term.Parameter

isComplete() - Method in enum class tools.refinery.logic.term.truthvalue.TruthValue

isConcrete() - Method in interface tools.refinery.logic.AbstractValue

isConcrete() - Method in record class tools.refinery.logic.term.cardinalityinterval.CardinalityInterval

isConcrete() - Method in record class tools.refinery.logic.term.intinterval.IntInterval

isConcrete() - Method in record class tools.refinery.logic.term.realinterval.RealInterval

isConcrete() - Method in record class tools.refinery.logic.term.string.StringValue.Concrete

isConcrete() - Method in class tools.refinery.logic.term.string.StringValue.Error

isConcrete() - Method in class tools.refinery.logic.term.string.StringValue.Unknown

isConcrete() - Method in enum class tools.refinery.logic.term.truthvalue.TruthValue

isConcrete(AbstractDomain<A, C>, Term<A>) - Static method in class tools.refinery.logic.term.abstractdomain.AbstractDomainTerms

IsConcreteTerm<A,C> - Class in tools.refinery.logic.term.abstractdomain

IsConcreteTerm(AbstractDomain<A, C>, Term<A>) - Constructor for class tools.refinery.logic.term.abstractdomain.IsConcreteTerm

isConsistent() - Method in enum class tools.refinery.logic.term.truthvalue.TruthValue

isConstant(int) - Method in class tools.refinery.logic.term.NodeVariable

isDataVariable() - Method in class tools.refinery.logic.term.AnyDataVariable

isDataVariable() - Method in class tools.refinery.logic.term.NodeVariable

isDataVariable() - Method in class tools.refinery.logic.term.Parameter

isDataVariable() - Method in class tools.refinery.logic.term.Variable

isEmpty() - Method in interface tools.refinery.logic.term.StatefulAggregate

isEquivalent(DataVariable<T>) - Method in class tools.refinery.logic.term.DataVariable

isEquivalent(NodeVariable) - Method in class tools.refinery.logic.term.NodeVariable

isError() - Method in interface tools.refinery.logic.AbstractValue

isError() - Method in record class tools.refinery.logic.term.cardinalityinterval.CardinalityInterval

isError() - Method in record class tools.refinery.logic.term.intinterval.IntInterval

isError() - Method in record class tools.refinery.logic.term.realinterval.RealInterval

isError() - Method in record class tools.refinery.logic.term.string.StringValue.Concrete

isError() - Method in class tools.refinery.logic.term.string.StringValue.Error

isError() - Method in class tools.refinery.logic.term.string.StringValue.Unknown

isError() - Method in enum class tools.refinery.logic.term.truthvalue.TruthValue

isError(AbstractDomain<A, C>, Term<A>) - Static method in class tools.refinery.logic.term.abstractdomain.AbstractDomainTerms

IsErrorTerm<A,C> - Class in tools.refinery.logic.term.abstractdomain

IsErrorTerm(AbstractDomain<A, C>, Term<A>) - Constructor for class tools.refinery.logic.term.abstractdomain.IsErrorTerm

isExplicitlyNamed() - Method in class tools.refinery.logic.dnf.Dnf

isExplicitlyNamed() - Method in class tools.refinery.logic.term.Variable

isFinite() - Method in record class tools.refinery.logic.term.intinterval.IntBound.Finite

isFinite() - Method in enum class tools.refinery.logic.term.intinterval.IntBound.Infinite

isFinite() - Method in interface tools.refinery.logic.term.intinterval.IntBound

isFinite() - Method in record class tools.refinery.logic.term.realinterval.RealBound.Finite

isFinite() - Method in enum class tools.refinery.logic.term.realinterval.RealBound.Infinite

isFinite() - Method in interface tools.refinery.logic.term.realinterval.RealBound

isNodeVariable() - Method in class tools.refinery.logic.term.AnyDataVariable

isNodeVariable() - Method in class tools.refinery.logic.term.NodeVariable

isNodeVariable() - Method in class tools.refinery.logic.term.Parameter

isNodeVariable() - Method in class tools.refinery.logic.term.Variable

isOverlapping(A) - Method in interface tools.refinery.logic.AbstractValue

isOverlapping(StringValue) - Method in record class tools.refinery.logic.term.string.StringValue.Concrete

isOverlapping(StringValue) - Method in class tools.refinery.logic.term.string.StringValue.Error

isOverlapping(StringValue) - Method in class tools.refinery.logic.term.string.StringValue.Unknown

isPositive() - Method in enum class tools.refinery.logic.literal.CallPolarity

isPositive() - Method in class tools.refinery.logic.literal.EquivalenceLiteral

isRefinementOf(A) - Method in interface tools.refinery.logic.AbstractValue

isRefinementOf(CardinalityInterval) - Method in record class tools.refinery.logic.term.cardinalityinterval.CardinalityInterval

isRefinementOf(StringValue) - Method in record class tools.refinery.logic.term.string.StringValue.Concrete

isRefinementOf(StringValue) - Method in class tools.refinery.logic.term.string.StringValue.Error

isRefinementOf(StringValue) - Method in class tools.refinery.logic.term.string.StringValue.Unknown

isTransitive() - Method in enum class tools.refinery.logic.literal.CallPolarity

J

join(A) - Method in interface tools.refinery.logic.AbstractValue

join(AbstractDomain<A, C>) - Static method in class tools.refinery.logic.term.PartialAggregator

join(AbstractDomain<A, C>, Term<A>, Term<A>) - Static method in class tools.refinery.logic.term.abstractdomain.AbstractDomainTerms

join(CardinalityInterval) - Method in record class tools.refinery.logic.term.cardinalityinterval.CardinalityInterval

join(IntInterval) - Method in record class tools.refinery.logic.term.intinterval.IntInterval

join(RealInterval) - Method in record class tools.refinery.logic.term.realinterval.RealInterval

join(StringValue) - Method in record class tools.refinery.logic.term.string.StringValue.Concrete

join(StringValue) - Method in class tools.refinery.logic.term.string.StringValue.Error

join(StringValue) - Method in class tools.refinery.logic.term.string.StringValue.Unknown

join(TruthValue) - Method in enum class tools.refinery.logic.term.truthvalue.TruthValue

L

left() - Method in record class tools.refinery.logic.equality.DeepDnfEqualityChecker.Pair

Returns the value of the left record component.

leftJoin(T, List<NodeVariable>) - Method in class tools.refinery.logic.dnf.FunctionalQuery

leftJoin(T, NodeVariable...) - Method in class tools.refinery.logic.dnf.FunctionalQuery

leftJoinBy(DataVariable<T>, T, List<Variable>) - Method in interface tools.refinery.logic.Constraint

leftJoinBy(DataVariable<T>, T, Variable...) - Method in interface tools.refinery.logic.Constraint

LeftJoinTerm<T> - Class in tools.refinery.logic.term

LeftJoinTerm(DataVariable<T>, T, Constraint, List<Variable>) - Constructor for class tools.refinery.logic.term.LeftJoinTerm

less(ComparableAbstractDomain<A, C>, Term<A>, Term<A>) - Static method in class tools.refinery.logic.term.abstractdomain.AbstractDomainTerms

less(Term<Double>, Term<Double>) - Static method in class tools.refinery.logic.term.real.RealTerms

less(Term<Integer>, Term<Integer>) - Static method in class tools.refinery.logic.term.int_.IntTerms

less(Term<IntInterval>, Term<IntInterval>) - Static method in class tools.refinery.logic.term.intinterval.IntIntervalTerms

less(Term<RealInterval>, Term<RealInterval>) - Static method in class tools.refinery.logic.term.realinterval.RealIntervalTerms

less(Term<UpperCardinality>, Term<UpperCardinality>) - Static method in class tools.refinery.logic.term.uppercardinality.UpperCardinalityTerms

lessEq(ComparableAbstractDomain<A, C>, Term<A>, Term<A>) - Static method in class tools.refinery.logic.term.abstractdomain.AbstractDomainTerms

lessEq(Term<Double>, Term<Double>) - Static method in class tools.refinery.logic.term.real.RealTerms

lessEq(Term<Integer>, Term<Integer>) - Static method in class tools.refinery.logic.term.int_.IntTerms

lessEq(Term<IntInterval>, Term<IntInterval>) - Static method in class tools.refinery.logic.term.intinterval.IntIntervalTerms

lessEq(Term<RealInterval>, Term<RealInterval>) - Static method in class tools.refinery.logic.term.realinterval.RealIntervalTerms

lessEq(Term<UpperCardinality>, Term<UpperCardinality>) - Static method in class tools.refinery.logic.term.uppercardinality.UpperCardinalityTerms

LessEqTerm<T> - Class in tools.refinery.logic.term.comparable

LessEqTerm(Class<T>, Term<T>, Term<T>) - Constructor for class tools.refinery.logic.term.comparable.LessEqTerm

LessTerm<T> - Class in tools.refinery.logic.term.comparable

LessTerm(Class<T>, Term<T>, Term<T>) - Constructor for class tools.refinery.logic.term.comparable.LessTerm

lessThanOrEquals(IntBound) - Method in record class tools.refinery.logic.term.intinterval.IntBound.Finite

lessThanOrEquals(IntBound) - Method in interface tools.refinery.logic.term.intinterval.IntBound

lessThanOrEquals(RealBound) - Method in record class tools.refinery.logic.term.realinterval.RealBound.Finite

lessThanOrEquals(RealBound) - Method in interface tools.refinery.logic.term.realinterval.RealBound

Literal - Interface in tools.refinery.logic.literal

In mathematical logic, a literal is an atomic formula or its negation.

LiteralEqualityHelper - Interface in tools.refinery.logic.equality

LiteralHashCodeHelper - Interface in tools.refinery.logic.equality

literals() - Method in record class tools.refinery.logic.dnf.DnfClause

Returns the value of the literals record component.

Literals - Class in tools.refinery.logic.literal

log() - Method in interface tools.refinery.logic.term.operators.Log

log() - Method in record class tools.refinery.logic.term.realinterval.RealInterval

log(RoundingMode) - Method in record class tools.refinery.logic.term.realinterval.RealBound.Finite

log(RoundingMode) - Method in interface tools.refinery.logic.term.realinterval.RealBound

Log<T> - Interface in tools.refinery.logic.term.operators

LogTerm<T> - Class in tools.refinery.logic.term.operators

LogTerm(Class<T>, Term<T>) - Constructor for class tools.refinery.logic.term.operators.LogTerm

LONE - Static variable in class tools.refinery.logic.term.cardinalityinterval.CardinalityIntervals

lowerBound() - Method in record class tools.refinery.logic.term.cardinalityinterval.CardinalityInterval

Returns the value of the lowerBound record component.

lowerBound() - Method in record class tools.refinery.logic.term.intinterval.IntInterval

Returns the value of the lowerBound record component.

lowerBound() - Method in record class tools.refinery.logic.term.realinterval.RealInterval

Returns the value of the lowerBound record component.

lowerBound(ComparableAbstractDomain<A, C>, Term<A>) - Static method in class tools.refinery.logic.term.abstractdomain.AbstractDomainTerms

M

makeVariable(String) - Method in class tools.refinery.logic.term.Parameter

map() - Method in record class tools.refinery.logic.substitution.MapBasedSubstitution

Returns the value of the map record component.

map(T) - Method in class tools.refinery.logic.util.CycleDetectingMapper

map(Dnf) - Method in class tools.refinery.logic.rewriter.AbstractRecursiveRewriter

map(Dnf) - Method in class tools.refinery.logic.rewriter.DuplicateDnfRemover

MapBasedSubstitution - Record Class in tools.refinery.logic.substitution

MapBasedSubstitution(Map<Variable, Variable>, Substitution) - Constructor for record class tools.refinery.logic.substitution.MapBasedSubstitution

Creates an instance of a MapBasedSubstitution record class.

matches(Parameter) - Method in class tools.refinery.logic.term.Parameter

max(A) - Method in interface tools.refinery.logic.term.ComparableAbstractValue

max(ComparableAbstractDomain<A, C>, Term<A>, Term<A>) - Static method in class tools.refinery.logic.term.abstractdomain.AbstractDomainTerms

max(CardinalityInterval) - Method in record class tools.refinery.logic.term.cardinalityinterval.CardinalityInterval

max(IntBound) - Method in interface tools.refinery.logic.term.intinterval.IntBound

max(IntInterval) - Method in record class tools.refinery.logic.term.intinterval.IntInterval

max(RealBound) - Method in interface tools.refinery.logic.term.realinterval.RealBound

max(RealInterval) - Method in record class tools.refinery.logic.term.realinterval.RealInterval

max(Term<Double>, Term<Double>) - Static method in class tools.refinery.logic.term.real.RealTerms

max(Term<Integer>, Term<Integer>) - Static method in class tools.refinery.logic.term.int_.IntTerms

max(Term<UpperCardinality>, Term<UpperCardinality>) - Static method in class tools.refinery.logic.term.uppercardinality.UpperCardinalityTerms

max(TruthValue) - Method in enum class tools.refinery.logic.term.truthvalue.TruthValue

max(UpperCardinality) - Method in interface tools.refinery.logic.term.uppercardinality.UpperCardinality

MAX_DECIMAL_VALUE - Static variable in record class tools.refinery.logic.term.intinterval.IntBound.Finite

MAX_VALUE - Static variable in record class tools.refinery.logic.term.intinterval.IntBound.Finite

maxAggregator(ComparableAbstractDomain<A, C>) - Static method in class tools.refinery.logic.term.abstractdomain.AbstractDomainTerms

may() - Method in enum class tools.refinery.logic.term.truthvalue.TruthValue

may(Term<TruthValue>) - Static method in class tools.refinery.logic.term.truthvalue.TruthValueTerms

meet(A) - Method in interface tools.refinery.logic.AbstractValue

meet(AbstractDomain<A, C>) - Static method in class tools.refinery.logic.term.PartialAggregator

meet(AbstractDomain<A, C>, Term<A>, Term<A>) - Static method in class tools.refinery.logic.term.abstractdomain.AbstractDomainTerms

meet(CardinalityInterval) - Method in record class tools.refinery.logic.term.cardinalityinterval.CardinalityInterval

meet(IntInterval) - Method in record class tools.refinery.logic.term.intinterval.IntInterval

meet(RealInterval) - Method in record class tools.refinery.logic.term.realinterval.RealInterval

meet(StringValue) - Method in record class tools.refinery.logic.term.string.StringValue.Concrete

meet(StringValue) - Method in class tools.refinery.logic.term.string.StringValue.Error

meet(StringValue) - Method in class tools.refinery.logic.term.string.StringValue.Unknown

meet(TruthValue) - Method in enum class tools.refinery.logic.term.truthvalue.TruthValue

min(A) - Method in interface tools.refinery.logic.term.ComparableAbstractValue

min(ComparableAbstractDomain<A, C>, Term<A>, Term<A>) - Static method in class tools.refinery.logic.term.abstractdomain.AbstractDomainTerms

min(CardinalityInterval) - Method in record class tools.refinery.logic.term.cardinalityinterval.CardinalityInterval

min(IntBound) - Method in interface tools.refinery.logic.term.intinterval.IntBound

min(IntInterval) - Method in record class tools.refinery.logic.term.intinterval.IntInterval

min(RealBound) - Method in interface tools.refinery.logic.term.realinterval.RealBound

min(RealInterval) - Method in record class tools.refinery.logic.term.realinterval.RealInterval

min(Term<Double>, Term<Double>) - Static method in class tools.refinery.logic.term.real.RealTerms

min(Term<Integer>, Term<Integer>) - Static method in class tools.refinery.logic.term.int_.IntTerms

min(Term<UpperCardinality>, Term<UpperCardinality>) - Static method in class tools.refinery.logic.term.uppercardinality.UpperCardinalityTerms

min(TruthValue) - Method in enum class tools.refinery.logic.term.truthvalue.TruthValue

min(UpperCardinality) - Method in interface tools.refinery.logic.term.uppercardinality.UpperCardinality

MIN_DECIMAL_VALUE - Static variable in record class tools.refinery.logic.term.intinterval.IntBound.Finite

MIN_VALUE - Static variable in record class tools.refinery.logic.term.intinterval.IntBound.Finite

minAggregator(ComparableAbstractDomain<A, C>) - Static method in class tools.refinery.logic.term.abstractdomain.AbstractDomainTerms

minus() - Method in record class tools.refinery.logic.term.intinterval.IntInterval

minus() - Method in interface tools.refinery.logic.term.operators.Minus

minus() - Method in record class tools.refinery.logic.term.realinterval.RealInterval

minus(RoundingMode) - Method in record class tools.refinery.logic.term.intinterval.IntBound.Finite

minus(RoundingMode) - Method in interface tools.refinery.logic.term.intinterval.IntBound

minus(RoundingMode) - Method in record class tools.refinery.logic.term.realinterval.RealBound.Finite

minus(RoundingMode) - Method in interface tools.refinery.logic.term.realinterval.RealBound

minus(Term<Double>) - Static method in class tools.refinery.logic.term.real.RealTerms

minus(Term<Integer>) - Static method in class tools.refinery.logic.term.int_.IntTerms

minus(Term<IntInterval>) - Static method in class tools.refinery.logic.term.intinterval.IntIntervalTerms

minus(Term<RealInterval>) - Static method in class tools.refinery.logic.term.realinterval.RealIntervalTerms

Minus<T> - Interface in tools.refinery.logic.term.operators

MinusTerm<T> - Class in tools.refinery.logic.term.operators

MinusTerm(Class<T>, Term<T>) - Constructor for class tools.refinery.logic.term.operators.MinusTerm

mul(T) - Method in interface tools.refinery.logic.term.operators.Mul

mul(IntBound, RoundingMode) - Method in record class tools.refinery.logic.term.intinterval.IntBound.Finite

mul(IntBound, RoundingMode) - Method in interface tools.refinery.logic.term.intinterval.IntBound

mul(IntInterval) - Method in record class tools.refinery.logic.term.intinterval.IntInterval

mul(RealBound, RoundingMode) - Method in record class tools.refinery.logic.term.realinterval.RealBound.Finite

mul(RealBound, RoundingMode) - Method in interface tools.refinery.logic.term.realinterval.RealBound

mul(RealInterval) - Method in record class tools.refinery.logic.term.realinterval.RealInterval

mul(Term<Double>, Term<Double>) - Static method in class tools.refinery.logic.term.real.RealTerms

mul(Term<Integer>, Term<Integer>) - Static method in class tools.refinery.logic.term.int_.IntTerms

mul(Term<IntInterval>, Term<IntInterval>) - Static method in class tools.refinery.logic.term.intinterval.IntIntervalTerms

mul(Term<RealInterval>, Term<RealInterval>) - Static method in class tools.refinery.logic.term.realinterval.RealIntervalTerms

mul(Term<UpperCardinality>, Term<UpperCardinality>) - Static method in class tools.refinery.logic.term.uppercardinality.UpperCardinalityTerms

Mul<T> - Interface in tools.refinery.logic.term.operators

MulTerm<T> - Class in tools.refinery.logic.term.operators

MulTerm(Class<T>, Term<T>, Term<T>) - Constructor for class tools.refinery.logic.term.operators.MulTerm

multiplicityInsensitive(AbstractDomain<A, C>, AbstractDomain<A2, C2>, A2, Aggregator<A, A2>) - Static method in class tools.refinery.logic.term.PartialAggregator

multiplicityInsensitive(AbstractDomain<A, C>, Aggregator<A, A>) - Static method in class tools.refinery.logic.term.PartialAggregator

multiplicitySensitive(AbstractDomain<A, C>, Class<T>, BiFunction<Term<IntInterval>, Term<A>, Term<T>>, Aggregator<A, T>) - Static method in class tools.refinery.logic.term.PartialAggregator

multiplicitySensitive(AbstractDomain<A, C>, BiFunction<Term<IntInterval>, Term<A>, Term<A>>, Aggregator<A, A>) - Static method in class tools.refinery.logic.term.PartialAggregator

multiplicitySensitive(AbstractDomain<A, C>, AbstractDomain<A2, C2>, Class<T>, BiFunction<Term<IntInterval>, Term<A2>, Term<T>>, Aggregator<A, T>) - Static method in class tools.refinery.logic.term.PartialAggregator

multiplicitySensitive(AbstractDomain<A, C>, AbstractDomain<A2, C2>, BiFunction<Term<IntInterval>, Term<A2>, Term<A2>>, Aggregator<A, A2>) - Static method in class tools.refinery.logic.term.PartialAggregator

multiply(CardinalityInterval) - Method in record class tools.refinery.logic.term.cardinalityinterval.CardinalityInterval

multiply(UpperCardinality) - Method in record class tools.refinery.logic.term.uppercardinality.FiniteUpperCardinality

multiply(UpperCardinality) - Method in class tools.refinery.logic.term.uppercardinality.UnboundedUpperCardinality

multiply(UpperCardinality) - Method in interface tools.refinery.logic.term.uppercardinality.UpperCardinality

must() - Method in enum class tools.refinery.logic.term.truthvalue.TruthValue

must(Term<TruthValue>) - Static method in class tools.refinery.logic.term.truthvalue.TruthValueTerms

N

name() - Method in interface tools.refinery.logic.Constraint

name() - Method in interface tools.refinery.logic.dnf.AnyQuery

name() - Method in class tools.refinery.logic.dnf.Dnf

name() - Method in class tools.refinery.logic.dnf.Query

negate() - Method in enum class tools.refinery.logic.literal.BooleanLiteral

negate() - Method in class tools.refinery.logic.literal.CallLiteral

negate() - Method in enum class tools.refinery.logic.literal.CallPolarity

Negates the polarity of the call.

negate() - Method in interface tools.refinery.logic.literal.CanNegate

negate() - Method in class tools.refinery.logic.literal.CheckLiteral

negate() - Method in class tools.refinery.logic.literal.EquivalenceLiteral

negate() - Method in enum class tools.refinery.logic.literal.Reduction

NEGATIVE - Enum constant in enum class tools.refinery.logic.literal.CallPolarity

NEGATIVE_INFINITY - Enum constant in enum class tools.refinery.logic.term.intinterval.IntBound.Infinite

NEGATIVE_INFINITY - Enum constant in enum class tools.refinery.logic.term.realinterval.RealBound.Infinite

NEGATIVE_INFINITY - Static variable in record class tools.refinery.logic.term.intinterval.IntInterval

NEGATIVE_INFINITY - Static variable in record class tools.refinery.logic.term.realinterval.RealInterval

NEGATIVE_ONE - Static variable in record class tools.refinery.logic.term.intinterval.IntBound.Finite

NEGATIVE_ONE - Static variable in record class tools.refinery.logic.term.realinterval.RealBound.Finite

negativeInfinity() - Method in interface tools.refinery.logic.ComparableAbstractDomain

negativeInfinity() - Method in class tools.refinery.logic.term.intinterval.IntIntervalDomain

negativeInfinity() - Method in enum class tools.refinery.logic.term.intinterval.RoundingMode

negativeInfinity() - Method in class tools.refinery.logic.term.realinterval.RealIntervalDomain

negativeInfinity() - Method in class tools.refinery.logic.term.truthvalue.TruthValueDomain

negativeInfinity(ComparableAbstractDomain<A, C>) - Static method in class tools.refinery.logic.term.abstractdomain.AbstractDomainTerms

NODE_OUT - Static variable in class tools.refinery.logic.term.Parameter

NodeIdTerm - Class in tools.refinery.logic.term

NodeIdTerm(NodeVariable) - Constructor for class tools.refinery.logic.term.NodeIdTerm

NodeVariable - Class in tools.refinery.logic.term

NONE - Static variable in class tools.refinery.logic.term.cardinalityinterval.CardinalityIntervals

not() - Method in interface tools.refinery.logic.term.operators.Not

not() - Method in enum class tools.refinery.logic.term.truthvalue.TruthValue

not(CanNegate<T>) - Static method in class tools.refinery.logic.literal.Literals

not(Term<Boolean>) - Static method in class tools.refinery.logic.term.bool.BoolTerms

not(Term<TruthValue>) - Static method in class tools.refinery.logic.term.truthvalue.TruthValueTerms

Not<T> - Interface in tools.refinery.logic.term.operators

NOT_REDUCIBLE - Enum constant in enum class tools.refinery.logic.literal.Reduction

Signifies that a literal should be preserved in the clause.

notEq(AbstractDomain<A, C>, Term<A>, Term<A>) - Static method in class tools.refinery.logic.term.abstractdomain.AbstractDomainTerms

notEq(Term<Double>, Term<Double>) - Static method in class tools.refinery.logic.term.real.RealTerms

notEq(Term<Integer>, Term<Integer>) - Static method in class tools.refinery.logic.term.int_.IntTerms

notEq(Term<IntInterval>, Term<IntInterval>) - Static method in class tools.refinery.logic.term.intinterval.IntIntervalTerms

notEq(Term<RealInterval>, Term<RealInterval>) - Static method in class tools.refinery.logic.term.realinterval.RealIntervalTerms

notEq(Term<TruthValue>, Term<TruthValue>) - Static method in class tools.refinery.logic.term.truthvalue.TruthValueTerms

notEq(Term<UpperCardinality>, Term<UpperCardinality>) - Static method in class tools.refinery.logic.term.uppercardinality.UpperCardinalityTerms

NotEqTerm<T> - Class in tools.refinery.logic.term.comparable

NotEqTerm(Class<T>, Term<T>, Term<T>) - Constructor for class tools.refinery.logic.term.comparable.NotEqTerm

notEquivalent(DataVariable<T>) - Method in class tools.refinery.logic.term.DataVariable

notEquivalent(NodeVariable) - Method in class tools.refinery.logic.term.NodeVariable

NotTerm<T> - Class in tools.refinery.logic.term.operators

NotTerm(Class<T>, Term<T>) - Constructor for class tools.refinery.logic.term.operators.NotTerm

O

of() - Static method in class tools.refinery.logic.term.Variable

of(boolean) - Static method in enum class tools.refinery.logic.term.truthvalue.TruthValue

of(boolean, boolean) - Static method in enum class tools.refinery.logic.term.truthvalue.TruthValue

of(int) - Static method in interface tools.refinery.logic.term.intinterval.IntBound

of(int) - Static method in record class tools.refinery.logic.term.intinterval.IntInterval

of(int) - Static method in interface tools.refinery.logic.term.uppercardinality.UpperCardinality

of(int, int) - Static method in record class tools.refinery.logic.term.intinterval.IntInterval

of(int, IntBound) - Static method in record class tools.refinery.logic.term.intinterval.IntInterval

of(String) - Static method in interface tools.refinery.logic.term.string.StringValue

of(String) - Static method in class tools.refinery.logic.term.Variable

of(String, Class<T>) - Static method in class tools.refinery.logic.term.Variable

of(Class<R>, Class<T>, ToMonoid<T, R>, R, BinaryOperator<R>) - Static method in class tools.refinery.logic.term.TreapAggregator

of(Class<T>) - Static method in class tools.refinery.logic.term.Variable

of(Class<T>, FunctionalQueryCallback0<T>) - Static method in class tools.refinery.logic.dnf.Query

of(Class<T>, FunctionalQueryCallback1<T>) - Static method in class tools.refinery.logic.dnf.Query

of(Class<T>, FunctionalQueryCallback2<T>) - Static method in class tools.refinery.logic.dnf.Query

of(Class<T>, FunctionalQueryCallback3<T>) - Static method in class tools.refinery.logic.dnf.Query

of(Class<T>, FunctionalQueryCallback4<T>) - Static method in class tools.refinery.logic.dnf.Query

of(Class<T>, ToMonoid<T, T>, T, BinaryOperator<T>) - Static method in class tools.refinery.logic.term.TreapAggregator

of(String, Class<T>, FunctionalQueryCallback0<T>) - Static method in class tools.refinery.logic.dnf.Query

of(String, Class<T>, FunctionalQueryCallback1<T>) - Static method in class tools.refinery.logic.dnf.Query

of(String, Class<T>, FunctionalQueryCallback2<T>) - Static method in class tools.refinery.logic.dnf.Query

of(String, Class<T>, FunctionalQueryCallback3<T>) - Static method in class tools.refinery.logic.dnf.Query

of(String, Class<T>, FunctionalQueryCallback4<T>) - Static method in class tools.refinery.logic.dnf.Query

of(String, Consumer<DnfBuilder>) - Static method in class tools.refinery.logic.dnf.Dnf

of(String, QueryCallback0) - Static method in class tools.refinery.logic.dnf.Query

of(String, QueryCallback1) - Static method in class tools.refinery.logic.dnf.Query

of(String, QueryCallback2) - Static method in class tools.refinery.logic.dnf.Query

of(String, QueryCallback3) - Static method in class tools.refinery.logic.dnf.Query

of(String, QueryCallback4) - Static method in class tools.refinery.logic.dnf.Query

of(BigDecimal) - Static method in interface tools.refinery.logic.term.realinterval.RealBound

of(BigDecimal) - Static method in record class tools.refinery.logic.term.realinterval.RealInterval

of(BigDecimal, BigDecimal) - Static method in record class tools.refinery.logic.term.realinterval.RealInterval

of(BigDecimal, RoundingMode) - Static method in interface tools.refinery.logic.term.intinterval.IntBound

of(BigDecimal, RealBound) - Static method in record class tools.refinery.logic.term.realinterval.RealInterval

of(Consumer<DnfBuilder>) - Static method in class tools.refinery.logic.dnf.Dnf

of(QueryCallback0) - Static method in class tools.refinery.logic.dnf.Query

of(QueryCallback1) - Static method in class tools.refinery.logic.dnf.Query

of(QueryCallback2) - Static method in class tools.refinery.logic.dnf.Query

of(QueryCallback3) - Static method in class tools.refinery.logic.dnf.Query

of(QueryCallback4) - Static method in class tools.refinery.logic.dnf.Query

of(IntBound, int) - Static method in record class tools.refinery.logic.term.intinterval.IntInterval

of(IntBound, IntBound) - Static method in record class tools.refinery.logic.term.intinterval.IntInterval

of(RealBound, BigDecimal) - Static method in record class tools.refinery.logic.term.realinterval.RealInterval

of(RealBound, RealBound) - Static method in record class tools.refinery.logic.term.realinterval.RealInterval

one() - Method in class tools.refinery.logic.literal.AbstractCountLiteral

ONE - Static variable in class tools.refinery.logic.term.cardinalityinterval.CardinalityIntervals

ONE - Static variable in record class tools.refinery.logic.term.intinterval.IntBound.Finite

ONE - Static variable in record class tools.refinery.logic.term.intinterval.IntInterval

ONE - Static variable in record class tools.refinery.logic.term.realinterval.RealBound.Finite

ONE - Static variable in record class tools.refinery.logic.term.realinterval.RealInterval

ONE - Static variable in class tools.refinery.logic.term.uppercardinality.UpperCardinalities

operatorName() - Method in class tools.refinery.logic.literal.AbstractCountLiteral

or(T) - Method in interface tools.refinery.logic.term.operators.Or

or(Term<Boolean>, Term<Boolean>) - Static method in class tools.refinery.logic.term.bool.BoolTerms

or(Term<TruthValue>, Term<TruthValue>) - Static method in class tools.refinery.logic.term.truthvalue.TruthValueTerms

or(TruthValue) - Method in enum class tools.refinery.logic.term.truthvalue.TruthValue

Or<T> - Interface in tools.refinery.logic.term.operators

originalValuation() - Method in record class tools.refinery.logic.valuation.SubstitutedValuation

Returns the value of the originalValuation record component.

OrTerm<T> - Class in tools.refinery.logic.term.operators

OrTerm(Class<T>, Term<T>, Term<T>) - Constructor for class tools.refinery.logic.term.operators.OrTerm

OUT - Enum constant in enum class tools.refinery.logic.term.ParameterDirection

output(DataVariable<T>) - Method in class tools.refinery.logic.dnf.QueryBuilder

P

Pair(Dnf, Dnf) - Constructor for record class tools.refinery.logic.equality.DeepDnfEqualityChecker.Pair

Creates an instance of a Pair record class.

parameter() - Method in class tools.refinery.logic.dnf.AbstractQueryBuilder

parameter() - Method in class tools.refinery.logic.dnf.DnfBuilder

parameter(Class<T>) - Method in class tools.refinery.logic.dnf.DnfBuilder

parameter(Class<T>, ParameterDirection) - Method in class tools.refinery.logic.dnf.DnfBuilder

parameter(String) - Method in class tools.refinery.logic.dnf.AbstractQueryBuilder

parameter(String) - Method in class tools.refinery.logic.dnf.DnfBuilder

parameter(String, Class<T>) - Method in class tools.refinery.logic.dnf.DnfBuilder

parameter(String, Class<T>, ParameterDirection) - Method in class tools.refinery.logic.dnf.DnfBuilder

parameter(String, Parameter) - Method in class tools.refinery.logic.dnf.DnfBuilder

parameter(String, ParameterDirection) - Method in class tools.refinery.logic.dnf.AbstractQueryBuilder

parameter(String, ParameterDirection) - Method in class tools.refinery.logic.dnf.DnfBuilder

parameter(NodeVariable) - Method in class tools.refinery.logic.dnf.AbstractQueryBuilder

parameter(NodeVariable, ParameterDirection) - Method in class tools.refinery.logic.dnf.AbstractQueryBuilder

parameter(Parameter) - Method in class tools.refinery.logic.dnf.DnfBuilder

parameter(ParameterDirection) - Method in class tools.refinery.logic.dnf.AbstractQueryBuilder

parameter(ParameterDirection) - Method in class tools.refinery.logic.dnf.DnfBuilder

parameter(Variable) - Method in class tools.refinery.logic.dnf.DnfBuilder

parameter(Variable, ParameterDirection) - Method in class tools.refinery.logic.dnf.DnfBuilder

Parameter - Class in tools.refinery.logic.term

Parameter(Class<?>) - Constructor for class tools.refinery.logic.term.Parameter

Parameter(Class<?>, ParameterDirection) - Constructor for class tools.refinery.logic.term.Parameter

ParameterDirection - Enum Class in tools.refinery.logic.term

parameters(Collection<? extends Variable>) - Method in class tools.refinery.logic.dnf.DnfBuilder

parameters(Collection<? extends Variable>, ParameterDirection) - Method in class tools.refinery.logic.dnf.DnfBuilder

parameters(List<NodeVariable>) - Method in class tools.refinery.logic.dnf.AbstractQueryBuilder

parameters(List<NodeVariable>, ParameterDirection) - Method in class tools.refinery.logic.dnf.AbstractQueryBuilder

parameters(NodeVariable...) - Method in class tools.refinery.logic.dnf.AbstractQueryBuilder

parameters(Variable...) - Method in class tools.refinery.logic.dnf.DnfBuilder

partial() - Method in class tools.refinery.logic.substitution.SubstitutionBuilder

PartialAggregator<A,C,A2,C2> - Class in tools.refinery.logic.term

PartialAggregator(AbstractDomain<A, C>, AbstractDomain<A2, C2>) - Constructor for class tools.refinery.logic.term.PartialAggregator

PartialAggregator.JoinAggregator<A,C> - Class in tools.refinery.logic.term

PartialAggregator.MeetAggregator<A,C> - Class in tools.refinery.logic.term

PartialAggregator.MultiplicityInsensitive<A,C,A2,C2> - Class in tools.refinery.logic.term

PartialAggregator.MultiplicitySensitive<A,C,A2,C2,T> - Class in tools.refinery.logic.term

plus() - Method in record class tools.refinery.logic.term.intinterval.IntInterval

plus() - Method in interface tools.refinery.logic.term.operators.Plus

plus() - Method in record class tools.refinery.logic.term.realinterval.RealInterval

plus(Term<Double>) - Static method in class tools.refinery.logic.term.real.RealTerms

plus(Term<Integer>) - Static method in class tools.refinery.logic.term.int_.IntTerms

plus(Term<IntInterval>) - Static method in class tools.refinery.logic.term.intinterval.IntIntervalTerms

plus(Term<RealInterval>) - Static method in class tools.refinery.logic.term.realinterval.RealIntervalTerms

Plus<T> - Interface in tools.refinery.logic.term.operators

PlusTerm<T> - Class in tools.refinery.logic.term.operators

PlusTerm(Class<T>, Term<T>) - Constructor for class tools.refinery.logic.term.operators.PlusTerm

POSITIVE - Enum constant in enum class tools.refinery.logic.literal.CallPolarity

POSITIVE_ERROR - Static variable in record class tools.refinery.logic.term.realinterval.RealInterval

POSITIVE_INFINITY - Enum constant in enum class tools.refinery.logic.term.intinterval.IntBound.Infinite

POSITIVE_INFINITY - Enum constant in enum class tools.refinery.logic.term.realinterval.RealBound.Infinite

POSITIVE_INFINITY - Static variable in record class tools.refinery.logic.term.intinterval.IntInterval

POSITIVE_INFINITY - Static variable in record class tools.refinery.logic.term.realinterval.RealInterval

positiveInfinity() - Method in interface tools.refinery.logic.ComparableAbstractDomain

positiveInfinity() - Method in class tools.refinery.logic.term.intinterval.IntIntervalDomain

positiveInfinity() - Method in enum class tools.refinery.logic.term.intinterval.RoundingMode

positiveInfinity() - Method in class tools.refinery.logic.term.realinterval.RealIntervalDomain

positiveInfinity() - Method in class tools.refinery.logic.term.truthvalue.TruthValueDomain

positiveInfinity(ComparableAbstractDomain<A, C>) - Static method in class tools.refinery.logic.term.abstractdomain.AbstractDomainTerms

positiveVariables() - Method in record class tools.refinery.logic.dnf.DnfClause

Returns the value of the positiveVariables record component.

pow(T) - Method in interface tools.refinery.logic.term.operators.Pow

pow(RealBound, RoundingMode) - Method in record class tools.refinery.logic.term.realinterval.RealBound.Finite

pow(RealBound, RoundingMode) - Method in interface tools.refinery.logic.term.realinterval.RealBound

pow(RealInterval) - Method in record class tools.refinery.logic.term.realinterval.RealInterval

pow(Term<Double>, Term<Double>) - Static method in class tools.refinery.logic.term.real.RealTerms

pow(Term<Integer>, Term<Integer>) - Static method in class tools.refinery.logic.term.int_.IntTerms

Pow<T> - Interface in tools.refinery.logic.term.operators

PowTerm<T> - Class in tools.refinery.logic.term.operators

PowTerm(Class<T>, Term<T>, Term<T>) - Constructor for class tools.refinery.logic.term.operators.PowTerm

put(DataVariable<T>, T) - Method in class tools.refinery.logic.valuation.ValuationBuilder

put(DataVariable<T>, DataVariable<T>) - Method in class tools.refinery.logic.substitution.SubstitutionBuilder

put(NodeVariable, NodeVariable) - Method in class tools.refinery.logic.substitution.SubstitutionBuilder

putChecked(AnyDataVariable, Object) - Method in class tools.refinery.logic.valuation.ValuationBuilder

putChecked(Variable, Variable) - Method in class tools.refinery.logic.substitution.SubstitutionBuilder

putManyChecked(List<Variable>, List<Variable>) - Method in class tools.refinery.logic.substitution.SubstitutionBuilder

Q

Query<T> - Class in tools.refinery.logic.dnf

Query(Dnf) - Constructor for class tools.refinery.logic.dnf.Query

QueryBuilder - Class in tools.refinery.logic.dnf

QueryCallback0 - Interface in tools.refinery.logic.dnf.callback

QueryCallback1 - Interface in tools.refinery.logic.dnf.callback

QueryCallback2 - Interface in tools.refinery.logic.dnf.callback

QueryCallback3 - Interface in tools.refinery.logic.dnf.callback

QueryCallback4 - Interface in tools.refinery.logic.dnf.callback

R

range(ComparableAbstractDomain<A, C>, Term<A>, Term<A>) - Static method in class tools.refinery.logic.term.abstractdomain.AbstractDomainTerms

range(Term<IntInterval>, Term<IntInterval>) - Static method in class tools.refinery.logic.term.intinterval.IntIntervalTerms

range(Term<RealInterval>, Term<RealInterval>) - Static method in class tools.refinery.logic.term.realinterval.RealIntervalTerms

REAL_INTERVAL_SUM - Static variable in class tools.refinery.logic.term.realinterval.RealIntervalTerms

REAL_MAX - Static variable in class tools.refinery.logic.term.real.RealTerms

REAL_MAX - Static variable in class tools.refinery.logic.term.realinterval.RealIntervalTerms

REAL_MIN - Static variable in class tools.refinery.logic.term.real.RealTerms

REAL_MIN - Static variable in class tools.refinery.logic.term.realinterval.RealIntervalTerms

REAL_SUM - Static variable in class tools.refinery.logic.term.real.RealTerms

REAL_SUM - Static variable in class tools.refinery.logic.term.realinterval.RealIntervalTerms

RealAddTerm - Class in tools.refinery.logic.term.real

RealAddTerm(Term<Double>, Term<Double>) - Constructor for class tools.refinery.logic.term.real.RealAddTerm

RealBinaryTerm - Class in tools.refinery.logic.term.real

RealBinaryTerm(Term<Double>, Term<Double>) - Constructor for class tools.refinery.logic.term.real.RealBinaryTerm

RealBound - Interface in tools.refinery.logic.term.realinterval

RealBound.Finite - Record Class in tools.refinery.logic.term.realinterval

RealBound.Infinite - Enum Class in tools.refinery.logic.term.realinterval

RealDivTerm - Class in tools.refinery.logic.term.real

RealDivTerm(Term<Double>, Term<Double>) - Constructor for class tools.refinery.logic.term.real.RealDivTerm

RealInterval - Record Class in tools.refinery.logic.term.realinterval

RealInterval(RealBound, RealBound) - Constructor for record class tools.refinery.logic.term.realinterval.RealInterval

Creates an instance of a RealInterval record class.

RealIntervalDomain - Class in tools.refinery.logic.term.realinterval

RealIntervalFromStringTerm - Class in tools.refinery.logic.term.realinterval

RealIntervalFromStringTerm(Term<StringValue>) - Constructor for class tools.refinery.logic.term.realinterval.RealIntervalFromStringTerm

RealIntervalTerms - Class in tools.refinery.logic.term.realinterval

RealMaxTerm - Class in tools.refinery.logic.term.real

RealMaxTerm(Term<Double>, Term<Double>) - Constructor for class tools.refinery.logic.term.real.RealMaxTerm

RealMinTerm - Class in tools.refinery.logic.term.real

RealMinTerm(Term<Double>, Term<Double>) - Constructor for class tools.refinery.logic.term.real.RealMinTerm

RealMinusTerm - Class in tools.refinery.logic.term.real

RealMinusTerm(Term<Double>) - Constructor for class tools.refinery.logic.term.real.RealMinusTerm

RealMulTerm - Class in tools.refinery.logic.term.real

RealMulTerm(Term<Double>, Term<Double>) - Constructor for class tools.refinery.logic.term.real.RealMulTerm

RealPlusTerm - Class in tools.refinery.logic.term.real

RealPlusTerm(Term<Double>) - Constructor for class tools.refinery.logic.term.real.RealPlusTerm

RealPowTerm - Class in tools.refinery.logic.term.real

RealPowTerm(Term<Double>, Term<Double>) - Constructor for class tools.refinery.logic.term.real.RealPowTerm

RealSubTerm - Class in tools.refinery.logic.term.real

RealSubTerm(Term<Double>, Term<Double>) - Constructor for class tools.refinery.logic.term.real.RealSubTerm

RealTerms - Class in tools.refinery.logic.term.real

RealToIntTerm - Class in tools.refinery.logic.term.int_

RealToIntTerm(Term<Double>) - Constructor for class tools.refinery.logic.term.int_.RealToIntTerm

RealUnaryTerm - Class in tools.refinery.logic.term.real

RealUnaryTerm(Term<Double>) - Constructor for class tools.refinery.logic.term.real.RealUnaryTerm

reduce() - Method in class tools.refinery.logic.literal.AbstractCountLiteral

reduce() - Method in class tools.refinery.logic.literal.CallLiteral

reduce() - Method in class tools.refinery.logic.literal.CheckLiteral

reduce() - Method in class tools.refinery.logic.literal.EquivalenceLiteral

reduce() - Method in interface tools.refinery.logic.literal.Literal

reduce() - Method in class tools.refinery.logic.literal.RepresentativeElectionLiteral

reduce() - Method in class tools.refinery.logic.term.AggregationTerm

reduce() - Method in class tools.refinery.logic.term.BinaryTerm

reduce() - Method in class tools.refinery.logic.term.CountTerm

reduce() - Method in class tools.refinery.logic.term.LeftJoinTerm

reduce() - Method in interface tools.refinery.logic.term.Term

reduce() - Method in class tools.refinery.logic.term.UnaryTerm

Reduction - Enum Class in tools.refinery.logic.literal

Represents the possible reductions of a clause.

RelationalQuery - Class in tools.refinery.logic.dnf

remove(Integer, Integer) - Method in class tools.refinery.logic.term.int_.IntSumAggregator

remove(R, T) - Method in interface tools.refinery.logic.term.StatelessAggregator

remove(T) - Method in interface tools.refinery.logic.term.StatefulAggregate

renew() - Method in class tools.refinery.logic.term.AnyDataVariable

renew() - Method in class tools.refinery.logic.term.DataVariable

renew() - Method in class tools.refinery.logic.term.NodeVariable

renew() - Method in class tools.refinery.logic.term.Variable

renew(String) - Method in class tools.refinery.logic.term.AnyDataVariable

renew(String) - Method in class tools.refinery.logic.term.DataVariable

renew(String) - Method in class tools.refinery.logic.term.NodeVariable

renew(String) - Method in class tools.refinery.logic.term.Variable

renewing() - Method in class tools.refinery.logic.substitution.SubstitutionBuilder

RenewingSubstitution - Class in tools.refinery.logic.substitution

RenewingSubstitution() - Constructor for class tools.refinery.logic.substitution.RenewingSubstitution

RepresentativeElectionLiteral - Class in tools.refinery.logic.literal

RepresentativeElectionLiteral(Connectivity, Constraint, NodeVariable, NodeVariable) - Constructor for class tools.refinery.logic.literal.RepresentativeElectionLiteral

rewrite(AnyQuery) - Method in interface tools.refinery.logic.rewriter.DnfRewriter

rewrite(Dnf) - Method in class tools.refinery.logic.rewriter.AbstractRecursiveRewriter

rewrite(Dnf) - Method in class tools.refinery.logic.rewriter.CompositeRewriter

rewrite(Dnf) - Method in interface tools.refinery.logic.rewriter.DnfRewriter

rewrite(Query<T>) - Method in interface tools.refinery.logic.rewriter.DnfRewriter

rewrite(Query<T>) - Method in class tools.refinery.logic.rewriter.DuplicateDnfRemover

rewriteSubTerms(TermRewriter) - Method in class tools.refinery.logic.term.AbstractCallTerm

rewriteSubTerms(TermRewriter) - Method in interface tools.refinery.logic.term.AnyTerm

rewriteSubTerms(TermRewriter) - Method in class tools.refinery.logic.term.BinaryTerm

rewriteSubTerms(TermRewriter) - Method in class tools.refinery.logic.term.ConstantTerm

rewriteSubTerms(TermRewriter) - Method in class tools.refinery.logic.term.DataVariable

rewriteSubTerms(TermRewriter) - Method in class tools.refinery.logic.term.NodeIdTerm

rewriteSubTerms(TermRewriter) - Method in interface tools.refinery.logic.term.Term

rewriteSubTerms(TermRewriter) - Method in class tools.refinery.logic.term.UnaryTerm

rewriteTerm(AnyTerm) - Method in interface tools.refinery.logic.rewriter.TermRewriter

rewriteTerm(Term<T>) - Method in interface tools.refinery.logic.rewriter.TermRewriter

right() - Method in record class tools.refinery.logic.equality.DeepDnfEqualityChecker.Pair

Returns the value of the right record component.

round(RoundingMode) - Method in record class tools.refinery.logic.term.realinterval.RealBound.Finite

round(RoundingMode) - Method in enum class tools.refinery.logic.term.realinterval.RealBound.Infinite

round(RoundingMode) - Method in interface tools.refinery.logic.term.realinterval.RealBound

RoundingMode - Enum Class in tools.refinery.logic.term.intinterval

RoundingMode - Enum Class in tools.refinery.logic.term.realinterval

S

self() - Method in class tools.refinery.logic.dnf.AbstractQueryBuilder

self() - Method in class tools.refinery.logic.dnf.FunctionalQueryBuilder

self() - Method in class tools.refinery.logic.dnf.QueryBuilder

SET - Static variable in class tools.refinery.logic.term.cardinalityinterval.CardinalityIntervals

signum() - Method in record class tools.refinery.logic.term.intinterval.IntBound.Finite

signum() - Method in interface tools.refinery.logic.term.intinterval.IntBound

signum() - Method in record class tools.refinery.logic.term.realinterval.RealBound.Finite

signum() - Method in interface tools.refinery.logic.term.realinterval.RealBound

SOME - Static variable in class tools.refinery.logic.term.cardinalityinterval.CardinalityIntervals

sqrt() - Method in interface tools.refinery.logic.term.operators.Sqrt

sqrt() - Method in record class tools.refinery.logic.term.realinterval.RealInterval

sqrt(RoundingMode) - Method in record class tools.refinery.logic.term.realinterval.RealBound.Finite

sqrt(RoundingMode) - Method in interface tools.refinery.logic.term.realinterval.RealBound

Sqrt<T> - Interface in tools.refinery.logic.term.operators

SqrtTerm<T> - Class in tools.refinery.logic.term.operators

SqrtTerm(Class<T>, Term<T>) - Constructor for class tools.refinery.logic.term.operators.SqrtTerm

StatefulAggregate<R,T> - Interface in tools.refinery.logic.term

StatefulAggregator<R,T> - Interface in tools.refinery.logic.term

StatelessAggregator<R,T> - Interface in tools.refinery.logic.term

StatelessSubstitution - Enum Class in tools.refinery.logic.substitution

StringDomain - Class in tools.refinery.logic.term.string

StringDomain() - Constructor for class tools.refinery.logic.term.string.StringDomain

StringTerms - Class in tools.refinery.logic.term.string

StringValue - Interface in tools.refinery.logic.term.string

StringValue.Concrete - Record Class in tools.refinery.logic.term.string

StringValue.Error - Class in tools.refinery.logic.term.string

StringValue.Unknown - Class in tools.refinery.logic.term.string

STRONG - Enum constant in enum class tools.refinery.logic.literal.Connectivity

sub(T) - Method in interface tools.refinery.logic.term.operators.Sub

sub(IntBound, RoundingMode) - Method in record class tools.refinery.logic.term.intinterval.IntBound.Finite

sub(IntBound, RoundingMode) - Method in interface tools.refinery.logic.term.intinterval.IntBound

sub(IntInterval) - Method in record class tools.refinery.logic.term.intinterval.IntInterval

sub(RealBound, RoundingMode) - Method in record class tools.refinery.logic.term.realinterval.RealBound.Finite

sub(RealBound, RoundingMode) - Method in interface tools.refinery.logic.term.realinterval.RealBound

sub(RealInterval) - Method in record class tools.refinery.logic.term.realinterval.RealInterval

sub(Term<Double>, Term<Double>) - Static method in class tools.refinery.logic.term.real.RealTerms

sub(Term<Integer>, Term<Integer>) - Static method in class tools.refinery.logic.term.int_.IntTerms

sub(Term<IntInterval>, Term<IntInterval>) - Static method in class tools.refinery.logic.term.intinterval.IntIntervalTerms

sub(Term<RealInterval>, Term<RealInterval>) - Static method in class tools.refinery.logic.term.realinterval.RealIntervalTerms

Sub<T> - Interface in tools.refinery.logic.term.operators

subset(AbstractDomain<A, C>, Term<A>, Term<A>) - Static method in class tools.refinery.logic.term.abstractdomain.AbstractDomainTerms

substitute(Substitution) - Method in interface tools.refinery.logic.valuation.Valuation

substitute(Substitution) - Method in class tools.refinery.logic.literal.AbstractCallLiteral

substitute(Substitution) - Method in class tools.refinery.logic.literal.AssignLiteral

substitute(Substitution) - Method in enum class tools.refinery.logic.literal.BooleanLiteral

substitute(Substitution) - Method in class tools.refinery.logic.literal.CheckLiteral

substitute(Substitution) - Method in class tools.refinery.logic.literal.ConstantLiteral

substitute(Substitution) - Method in class tools.refinery.logic.literal.EquivalenceLiteral

substitute(Substitution) - Method in interface tools.refinery.logic.literal.Literal

substitute(Substitution) - Method in class tools.refinery.logic.term.AbstractCallTerm

substitute(Substitution) - Method in interface tools.refinery.logic.term.AnyTerm

substitute(Substitution) - Method in class tools.refinery.logic.term.BinaryTerm

substitute(Substitution) - Method in class tools.refinery.logic.term.ConstantTerm

substitute(Substitution) - Method in class tools.refinery.logic.term.DataVariable

substitute(Substitution) - Method in class tools.refinery.logic.term.NodeIdTerm

substitute(Substitution) - Method in interface tools.refinery.logic.term.Term

substitute(Substitution) - Method in class tools.refinery.logic.term.UnaryTerm

SubstitutedValuation - Record Class in tools.refinery.logic.valuation

SubstitutedValuation(Valuation, Substitution) - Constructor for record class tools.refinery.logic.valuation.SubstitutedValuation

Creates an instance of a SubstitutedValuation record class.

SubstitutingLiteralEqualityHelper - Class in tools.refinery.logic.equality

SubstitutingLiteralEqualityHelper(DnfEqualityChecker, Collection<Variable>) - Constructor for class tools.refinery.logic.equality.SubstitutingLiteralEqualityHelper

SubstitutingLiteralEqualityHelper(DnfEqualityChecker, List<SymbolicParameter>, List<SymbolicParameter>) - Constructor for class tools.refinery.logic.equality.SubstitutingLiteralEqualityHelper

SubstitutingLiteralHashCodeHelper - Class in tools.refinery.logic.equality

SubstitutingLiteralHashCodeHelper() - Constructor for class tools.refinery.logic.equality.SubstitutingLiteralHashCodeHelper

SubstitutingLiteralHashCodeHelper(Collection<Variable>) - Constructor for class tools.refinery.logic.equality.SubstitutingLiteralHashCodeHelper

SubstitutingLiteralHashCodeHelper(List<SymbolicParameter>) - Constructor for class tools.refinery.logic.equality.SubstitutingLiteralHashCodeHelper

substitution() - Method in record class tools.refinery.logic.valuation.SubstitutedValuation

Returns the value of the substitution record component.

Substitution - Interface in tools.refinery.logic.substitution

SubstitutionBuilder - Class in tools.refinery.logic.substitution

SubTerm<T> - Class in tools.refinery.logic.term.operators

SubTerm(Class<T>, Term<T>, Term<T>) - Constructor for class tools.refinery.logic.term.operators.SubTerm

superset(AbstractDomain<A, C>, Term<A>, Term<A>) - Static method in class tools.refinery.logic.term.abstractdomain.AbstractDomainTerms

symbolicParameter(SymbolicParameter) - Method in class tools.refinery.logic.dnf.DnfBuilder

SymbolicParameter - Class in tools.refinery.logic.dnf

SymbolicParameter(Variable, ParameterDirection) - Constructor for class tools.refinery.logic.dnf.SymbolicParameter

symbolicParameters(Collection<SymbolicParameter>) - Method in class tools.refinery.logic.dnf.DnfBuilder

symbolicParameters(List<SymbolicParameter>) - Method in class tools.refinery.logic.dnf.AbstractQueryBuilder

symbolicParameters(SymbolicParameter...) - Method in class tools.refinery.logic.dnf.DnfBuilder

T

take(int) - Method in record class tools.refinery.logic.term.cardinalityinterval.CardinalityInterval

take(int) - Method in record class tools.refinery.logic.term.uppercardinality.FiniteUpperCardinality

take(int) - Method in class tools.refinery.logic.term.uppercardinality.UnboundedUpperCardinality

take(int) - Method in interface tools.refinery.logic.term.uppercardinality.UpperCardinality

Term<T> - Interface in tools.refinery.logic.term

TermLiteral<T> - Interface in tools.refinery.logic.literal

TermRewriter - Interface in tools.refinery.logic.rewriter

toAbstract(C) - Method in interface tools.refinery.logic.AbstractDomain

toAbstract(Boolean) - Method in class tools.refinery.logic.term.truthvalue.TruthValueDomain

toAbstract(Integer) - Method in class tools.refinery.logic.term.cardinalityinterval.CardinalityDomain

toAbstract(Integer) - Method in class tools.refinery.logic.term.intinterval.IntIntervalDomain

toAbstract(String) - Method in class tools.refinery.logic.term.string.StringDomain

toAbstract(BigDecimal) - Method in class tools.refinery.logic.term.realinterval.RealIntervalDomain

toDefinitionString() - Method in class tools.refinery.logic.dnf.Dnf

toLiterals() - Method in interface tools.refinery.logic.dnf.callback.ClauseCallback0

toLiterals(DataVariable<T>) - Method in interface tools.refinery.logic.dnf.callback.ClauseCallback1Data1

toLiterals(DataVariable<T1>, DataVariable<T2>) - Method in interface tools.refinery.logic.dnf.callback.ClauseCallback2Data2

toLiterals(DataVariable<T1>, DataVariable<T2>, DataVariable<T3>) - Method in interface tools.refinery.logic.dnf.callback.ClauseCallback3Data3

toLiterals(DataVariable<T1>, DataVariable<T2>, DataVariable<T3>, DataVariable<T4>) - Method in interface tools.refinery.logic.dnf.callback.ClauseCallback4Data4

toLiterals(NodeVariable) - Method in interface tools.refinery.logic.dnf.callback.ClauseCallback1Data0

toLiterals(NodeVariable, DataVariable<T>) - Method in interface tools.refinery.logic.dnf.callback.ClauseCallback2Data1

toLiterals(NodeVariable, DataVariable<T1>, DataVariable<T2>) - Method in interface tools.refinery.logic.dnf.callback.ClauseCallback3Data2

toLiterals(NodeVariable, DataVariable<T1>, DataVariable<T2>, DataVariable<T3>) - Method in interface tools.refinery.logic.dnf.callback.ClauseCallback4Data3

toLiterals(NodeVariable, NodeVariable) - Method in interface tools.refinery.logic.dnf.callback.ClauseCallback2Data0

toLiterals(NodeVariable, NodeVariable, DataVariable<T>) - Method in interface tools.refinery.logic.dnf.callback.ClauseCallback3Data1

toLiterals(NodeVariable, NodeVariable, DataVariable<T1>, DataVariable<T2>) - Method in interface tools.refinery.logic.dnf.callback.ClauseCallback4Data2

toLiterals(NodeVariable, NodeVariable, NodeVariable) - Method in interface tools.refinery.logic.dnf.callback.ClauseCallback3Data0

toLiterals(NodeVariable, NodeVariable, NodeVariable, DataVariable<T>) - Method in interface tools.refinery.logic.dnf.callback.ClauseCallback4Data1

toLiterals(NodeVariable, NodeVariable, NodeVariable, NodeVariable) - Method in interface tools.refinery.logic.dnf.callback.ClauseCallback4Data0

ToMonoid<T,R> - Interface in tools.refinery.logic.term

tools.refinery.logic - package tools.refinery.logic

tools.refinery.logic.dnf - package tools.refinery.logic.dnf

tools.refinery.logic.dnf.callback - package tools.refinery.logic.dnf.callback

tools.refinery.logic.equality - package tools.refinery.logic.equality

tools.refinery.logic.literal - package tools.refinery.logic.literal

tools.refinery.logic.rewriter - package tools.refinery.logic.rewriter

tools.refinery.logic.substitution - package tools.refinery.logic.substitution

tools.refinery.logic.term - package tools.refinery.logic.term

tools.refinery.logic.term.abstractdomain - package tools.refinery.logic.term.abstractdomain

tools.refinery.logic.term.bool - package tools.refinery.logic.term.bool

tools.refinery.logic.term.cardinalityinterval - package tools.refinery.logic.term.cardinalityinterval

tools.refinery.logic.term.comparable - package tools.refinery.logic.term.comparable

tools.refinery.logic.term.int_ - package tools.refinery.logic.term.int_

tools.refinery.logic.term.intinterval - package tools.refinery.logic.term.intinterval

tools.refinery.logic.term.operators - package tools.refinery.logic.term.operators

tools.refinery.logic.term.real - package tools.refinery.logic.term.real

tools.refinery.logic.term.realinterval - package tools.refinery.logic.term.realinterval

tools.refinery.logic.term.string - package tools.refinery.logic.term.string

tools.refinery.logic.term.truthvalue - package tools.refinery.logic.term.truthvalue

tools.refinery.logic.term.uppercardinality - package tools.refinery.logic.term.uppercardinality

tools.refinery.logic.util - package tools.refinery.logic.util

tools.refinery.logic.valuation - package tools.refinery.logic.valuation

toReferenceString() - Method in interface tools.refinery.logic.Constraint

toReferenceString() - Method in class tools.refinery.logic.dnf.Dnf

toString() - Method in class tools.refinery.logic.dnf.Dnf

toString() - Method in record class tools.refinery.logic.dnf.DnfClause

Returns a string representation of this record class.

toString() - Method in record class tools.refinery.logic.dnf.FunctionalDependency

Returns a string representation of this record class.

toString() - Method in class tools.refinery.logic.dnf.Query

toString() - Method in class tools.refinery.logic.dnf.SymbolicParameter

toString() - Method in record class tools.refinery.logic.equality.DeepDnfEqualityChecker.Pair

Returns a string representation of this record class.

toString() - Method in class tools.refinery.logic.literal.AbstractCountLiteral

toString() - Method in class tools.refinery.logic.literal.AssignLiteral

toString() - Method in enum class tools.refinery.logic.literal.BooleanLiteral

toString() - Method in class tools.refinery.logic.literal.CallLiteral

toString() - Method in class tools.refinery.logic.literal.CheckLiteral

toString() - Method in enum class tools.refinery.logic.literal.Connectivity

toString() - Method in class tools.refinery.logic.literal.ConstantLiteral

toString() - Method in class tools.refinery.logic.literal.EquivalenceLiteral

toString() - Method in class tools.refinery.logic.literal.RepresentativeElectionLiteral

toString() - Method in record class tools.refinery.logic.substitution.MapBasedSubstitution

Returns a string representation of this record class.

toString() - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainEqTerm

toString() - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainGreaterEqTerm

toString() - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainGreaterTerm

toString() - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainJoinTerm

toString() - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainLessEqTerm

toString() - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainLessTerm

toString() - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainLowerBoundTerm

toString() - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainMaxTerm

toString() - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainMeetTerm

toString() - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainMinTerm

toString() - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainNotEqTerm

toString() - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainRangeTerm

toString() - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainSubsetTerm

toString() - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainSupersetTerm

toString() - Method in class tools.refinery.logic.term.abstractdomain.AbstractDomainUpperBoundTerm

toString() - Method in class tools.refinery.logic.term.abstractdomain.IsConcreteTerm

toString() - Method in class tools.refinery.logic.term.abstractdomain.IsErrorTerm

toString() - Method in class tools.refinery.logic.term.AggregationTerm

toString() - Method in class tools.refinery.logic.term.bool.BoolAndTerm

toString() - Method in class tools.refinery.logic.term.bool.BoolNotTerm

toString() - Method in class tools.refinery.logic.term.bool.BoolOrTerm

toString() - Method in class tools.refinery.logic.term.bool.BoolXorTerm

toString() - Method in record class tools.refinery.logic.term.cardinalityinterval.CardinalityInterval

Returns a string representation of this record class.

toString() - Method in class tools.refinery.logic.term.comparable.EqTerm

toString() - Method in class tools.refinery.logic.term.comparable.GreaterEqTerm

toString() - Method in class tools.refinery.logic.term.comparable.GreaterTerm

toString() - Method in class tools.refinery.logic.term.comparable.LessEqTerm

toString() - Method in class tools.refinery.logic.term.comparable.LessTerm

toString() - Method in class tools.refinery.logic.term.comparable.NotEqTerm

toString() - Method in class tools.refinery.logic.term.ConstantTerm

toString() - Method in class tools.refinery.logic.term.CountTerm

toString() - Method in class tools.refinery.logic.term.int_.IntAddTerm

toString() - Method in class tools.refinery.logic.term.int_.IntDivTerm

toString() - Method in class tools.refinery.logic.term.int_.IntMaxTerm

toString() - Method in class tools.refinery.logic.term.int_.IntMinTerm

toString() - Method in class tools.refinery.logic.term.int_.IntMinusTerm

toString() - Method in class tools.refinery.logic.term.int_.IntMulTerm

toString() - Method in class tools.refinery.logic.term.int_.IntPlusTerm

toString() - Method in class tools.refinery.logic.term.int_.IntPowTerm

toString() - Method in class tools.refinery.logic.term.int_.IntSubTerm

toString() - Method in class tools.refinery.logic.term.int_.RealToIntTerm

toString() - Method in record class tools.refinery.logic.term.intinterval.IntBound.Finite

Returns a string representation of this record class.

toString() - Method in record class tools.refinery.logic.term.intinterval.IntInterval

Returns a string representation of this record class.

toString() - Method in class tools.refinery.logic.term.LeftJoinTerm

toString() - Method in class tools.refinery.logic.term.operators.AddTerm

toString() - Method in class tools.refinery.logic.term.operators.AndTerm

toString() - Method in class tools.refinery.logic.term.operators.DivTerm

toString() - Method in class tools.refinery.logic.term.operators.ExpTerm

toString() - Method in class tools.refinery.logic.term.operators.LogTerm

toString() - Method in class tools.refinery.logic.term.operators.MinusTerm

toString() - Method in class tools.refinery.logic.term.operators.MulTerm

toString() - Method in class tools.refinery.logic.term.operators.NotTerm

toString() - Method in class tools.refinery.logic.term.operators.OrTerm

toString() - Method in class tools.refinery.logic.term.operators.PlusTerm

toString() - Method in class tools.refinery.logic.term.operators.PowTerm

toString() - Method in class tools.refinery.logic.term.operators.SqrtTerm

toString() - Method in class tools.refinery.logic.term.operators.SubTerm

toString() - Method in class tools.refinery.logic.term.operators.XorTerm

toString() - Method in enum class tools.refinery.logic.term.ParameterDirection

toString() - Method in class tools.refinery.logic.term.real.IntToRealTerm

toString() - Method in class tools.refinery.logic.term.real.RealAddTerm

toString() - Method in class tools.refinery.logic.term.real.RealDivTerm

toString() - Method in class tools.refinery.logic.term.real.RealMaxTerm

toString() - Method in class tools.refinery.logic.term.real.RealMinTerm

toString() - Method in class tools.refinery.logic.term.real.RealMinusTerm

toString() - Method in class tools.refinery.logic.term.real.RealMulTerm

toString() - Method in class tools.refinery.logic.term.real.RealPlusTerm

toString() - Method in class tools.refinery.logic.term.real.RealPowTerm

toString() - Method in class tools.refinery.logic.term.real.RealSubTerm

toString() - Method in record class tools.refinery.logic.term.realinterval.RealBound.Finite

Returns a string representation of this record class.

toString() - Method in record class tools.refinery.logic.term.realinterval.RealInterval

Returns a string representation of this record class.

toString() - Method in record class tools.refinery.logic.term.string.StringValue.Concrete

Returns a string representation of this record class.

toString() - Method in class tools.refinery.logic.term.string.StringValue.Error

toString() - Method in class tools.refinery.logic.term.string.StringValue.Unknown

toString() - Method in class tools.refinery.logic.term.truthvalue.AsTruthValueTerm

toString() - Method in enum class tools.refinery.logic.term.truthvalue.TruthValue

toString() - Method in class tools.refinery.logic.term.truthvalue.TruthValueMayTerm

toString() - Method in class tools.refinery.logic.term.truthvalue.TruthValueMustTerm

toString() - Method in record class tools.refinery.logic.term.uppercardinality.FiniteUpperCardinality

Returns a string representation of this record class.

toString() - Method in class tools.refinery.logic.term.uppercardinality.UnboundedUpperCardinality

toString() - Method in class tools.refinery.logic.term.uppercardinality.UpperCardinalityAddTerm

toString() - Method in class tools.refinery.logic.term.uppercardinality.UpperCardinalityMaxTerm

toString() - Method in class tools.refinery.logic.term.uppercardinality.UpperCardinalityMinTerm

toString() - Method in class tools.refinery.logic.term.uppercardinality.UpperCardinalityMulTerm

toString() - Method in class tools.refinery.logic.term.Variable

toString() - Method in record class tools.refinery.logic.valuation.SubstitutedValuation

Returns a string representation of this record class.

total() - Method in class tools.refinery.logic.substitution.SubstitutionBuilder

TRANSITIVE - Enum constant in enum class tools.refinery.logic.literal.CallPolarity

TreapAggregator<R,T> - Class in tools.refinery.logic.term

TreapAggregator(Class<R>, Class<T>, ToMonoid<T, R>, R, BinaryOperator<R>) - Constructor for class tools.refinery.logic.term.TreapAggregator

TRUE - Enum constant in enum class tools.refinery.logic.literal.BooleanLiteral

TRUE - Enum constant in enum class tools.refinery.logic.term.truthvalue.TruthValue

TruthValue - Enum Class in tools.refinery.logic.term.truthvalue

TruthValueDomain - Class in tools.refinery.logic.term.truthvalue

TruthValueFromStringTerm - Class in tools.refinery.logic.term.truthvalue

TruthValueMayTerm - Class in tools.refinery.logic.term.truthvalue

TruthValueMayTerm(Term<TruthValue>) - Constructor for class tools.refinery.logic.term.truthvalue.TruthValueMayTerm

TruthValueMustTerm - Class in tools.refinery.logic.term.truthvalue

TruthValueMustTerm(Term<TruthValue>) - Constructor for class tools.refinery.logic.term.truthvalue.TruthValueMustTerm

TruthValueTerms - Class in tools.refinery.logic.term.truthvalue

tryGetType() - Method in class tools.refinery.logic.term.AnyDataVariable

tryGetType() - Method in class tools.refinery.logic.term.NodeVariable

tryGetType() - Method in class tools.refinery.logic.term.Parameter

tryGetType() - Method in class tools.refinery.logic.term.Variable

U

UnaryTerm<R,T> - Class in tools.refinery.logic.term

UnaryTerm(Class<R>, Class<T>, Term<T>) - Constructor for class tools.refinery.logic.term.UnaryTerm

UNBOUNDED - Static variable in class tools.refinery.logic.term.uppercardinality.UpperCardinalities

UnboundedUpperCardinality - Class in tools.refinery.logic.term.uppercardinality

unique() - Method in record class tools.refinery.logic.dnf.FunctionalDependency

Returns the value of the unique record component.

unknown() - Method in interface tools.refinery.logic.AbstractDomain

unknown() - Method in class tools.refinery.logic.term.cardinalityinterval.CardinalityDomain

unknown() - Method in class tools.refinery.logic.term.intinterval.IntIntervalDomain

unknown() - Method in class tools.refinery.logic.term.realinterval.RealIntervalDomain

unknown() - Method in class tools.refinery.logic.term.string.StringDomain

unknown() - Method in class tools.refinery.logic.term.truthvalue.TruthValueDomain

unknown(AbstractDomain<A, C>) - Static method in class tools.refinery.logic.term.abstractdomain.AbstractDomainTerms

UNKNOWN - Enum constant in enum class tools.refinery.logic.term.truthvalue.TruthValue

UNKNOWN - Static variable in record class tools.refinery.logic.term.intinterval.IntInterval

UNKNOWN - Static variable in record class tools.refinery.logic.term.realinterval.RealInterval

UNKNOWN - Static variable in interface tools.refinery.logic.term.string.StringValue

UPPER_CARDINALITY_MAX - Static variable in class tools.refinery.logic.term.uppercardinality.UpperCardinalityTerms

UPPER_CARDINALITY_MIN - Static variable in class tools.refinery.logic.term.uppercardinality.UpperCardinalityTerms

UPPER_CARDINALITY_SUM - Static variable in class tools.refinery.logic.term.uppercardinality.UpperCardinalityTerms

upperBound() - Method in record class tools.refinery.logic.term.cardinalityinterval.CardinalityInterval

Returns the value of the upperBound record component.

upperBound() - Method in record class tools.refinery.logic.term.intinterval.IntInterval

Returns the value of the upperBound record component.

upperBound() - Method in record class tools.refinery.logic.term.realinterval.RealInterval

Returns the value of the upperBound record component.

upperBound(ComparableAbstractDomain<A, C>, Term<A>) - Static method in class tools.refinery.logic.term.abstractdomain.AbstractDomainTerms

UpperCardinalities - Class in tools.refinery.logic.term.uppercardinality

UpperCardinality - Interface in tools.refinery.logic.term.uppercardinality

UpperCardinalityAddTerm - Class in tools.refinery.logic.term.uppercardinality

UpperCardinalityAddTerm(Term<UpperCardinality>, Term<UpperCardinality>) - Constructor for class tools.refinery.logic.term.uppercardinality.UpperCardinalityAddTerm

UpperCardinalityBinaryTerm - Class in tools.refinery.logic.term.uppercardinality

UpperCardinalityBinaryTerm(Term<UpperCardinality>, Term<UpperCardinality>) - Constructor for class tools.refinery.logic.term.uppercardinality.UpperCardinalityBinaryTerm

UpperCardinalityMaxTerm - Class in tools.refinery.logic.term.uppercardinality

UpperCardinalityMaxTerm(Term<UpperCardinality>, Term<UpperCardinality>) - Constructor for class tools.refinery.logic.term.uppercardinality.UpperCardinalityMaxTerm

UpperCardinalityMinTerm - Class in tools.refinery.logic.term.uppercardinality

UpperCardinalityMinTerm(Term<UpperCardinality>, Term<UpperCardinality>) - Constructor for class tools.refinery.logic.term.uppercardinality.UpperCardinalityMinTerm

UpperCardinalityMulTerm - Class in tools.refinery.logic.term.uppercardinality

UpperCardinalityMulTerm(Term<UpperCardinality>, Term<UpperCardinality>) - Constructor for class tools.refinery.logic.term.uppercardinality.UpperCardinalityMulTerm

UpperCardinalitySumAggregator - Class in tools.refinery.logic.term.uppercardinality

UpperCardinalityTerms - Class in tools.refinery.logic.term.uppercardinality

upToIncluding(A) - Method in interface tools.refinery.logic.term.ComparableAbstractValue

upToIncluding(IntInterval) - Method in record class tools.refinery.logic.term.intinterval.IntInterval

upToIncluding(RealInterval) - Method in record class tools.refinery.logic.term.realinterval.RealInterval

upToIncluding(TruthValue) - Method in enum class tools.refinery.logic.term.truthvalue.TruthValue

V

Valuation - Interface in tools.refinery.logic.valuation

ValuationBuilder - Class in tools.refinery.logic.valuation

value() - Method in record class tools.refinery.logic.term.intinterval.IntBound.Finite

Returns the value of the value record component.

value() - Method in record class tools.refinery.logic.term.realinterval.RealBound.Finite

Returns the value of the value record component.

value() - Method in record class tools.refinery.logic.term.string.StringValue.Concrete

Returns the value of the value record component.

valueOf(String) - Static method in enum class tools.refinery.logic.literal.BooleanLiteral

Returns the enum constant of this class with the specified name.

valueOf(String) - Static method in enum class tools.refinery.logic.literal.CallPolarity

Returns the enum constant of this class with the specified name.

valueOf(String) - Static method in enum class tools.refinery.logic.literal.Connectivity

Returns the enum constant of this class with the specified name.

valueOf(String) - Static method in enum class tools.refinery.logic.literal.Reduction

Returns the enum constant of this class with the specified name.

valueOf(String) - Static method in enum class tools.refinery.logic.substitution.StatelessSubstitution

Returns the enum constant of this class with the specified name.

valueOf(String) - Static method in enum class tools.refinery.logic.term.intinterval.IntBound.Infinite

Returns the enum constant of this class with the specified name.

valueOf(String) - Static method in enum class tools.refinery.logic.term.intinterval.RoundingMode

Returns the enum constant of this class with the specified name.

valueOf(String) - Static method in enum class tools.refinery.logic.term.ParameterDirection

Returns the enum constant of this class with the specified name.

valueOf(String) - Static method in enum class tools.refinery.logic.term.realinterval.RealBound.Infinite

Returns the enum constant of this class with the specified name.

valueOf(String) - Static method in enum class tools.refinery.logic.term.realinterval.RoundingMode

Returns the enum constant of this class with the specified name.

valueOf(String) - Static method in enum class tools.refinery.logic.term.truthvalue.TruthValue

Returns the enum constant of this class with the specified name.

values() - Static method in enum class tools.refinery.logic.literal.BooleanLiteral

Returns an array containing the constants of this enum class, in the order they are declared.

values() - Static method in enum class tools.refinery.logic.literal.CallPolarity

Returns an array containing the constants of this enum class, in the order they are declared.

values() - Static method in enum class tools.refinery.logic.literal.Connectivity

Returns an array containing the constants of this enum class, in the order they are declared.

values() - Static method in enum class tools.refinery.logic.literal.Reduction

Returns an array containing the constants of this enum class, in the order they are declared.

values() - Static method in enum class tools.refinery.logic.substitution.StatelessSubstitution

Returns an array containing the constants of this enum class, in the order they are declared.

values() - Static method in enum class tools.refinery.logic.term.intinterval.IntBound.Infinite

Returns an array containing the constants of this enum class, in the order they are declared.

values() - Static method in enum class tools.refinery.logic.term.intinterval.RoundingMode

Returns an array containing the constants of this enum class, in the order they are declared.

values() - Static method in enum class tools.refinery.logic.term.ParameterDirection

Returns an array containing the constants of this enum class, in the order they are declared.

values() - Static method in enum class tools.refinery.logic.term.realinterval.RealBound.Infinite

Returns an array containing the constants of this enum class, in the order they are declared.

values() - Static method in enum class tools.refinery.logic.term.realinterval.RoundingMode

Returns an array containing the constants of this enum class, in the order they are declared.

values() - Static method in enum class tools.refinery.logic.term.truthvalue.TruthValue

Returns an array containing the constants of this enum class, in the order they are declared.

valueType() - Method in interface tools.refinery.logic.dnf.AnyQuery

valueType() - Method in class tools.refinery.logic.dnf.FunctionalQuery

valueType() - Method in class tools.refinery.logic.dnf.Query

valueType() - Method in class tools.refinery.logic.dnf.RelationalQuery

Variable - Class in tools.refinery.logic.term

Variable(String) - Constructor for class tools.refinery.logic.term.Variable

variableEqual(Variable, Variable) - Method in interface tools.refinery.logic.equality.LiteralEqualityHelper

variableEqual(Variable, Variable) - Method in class tools.refinery.logic.equality.SubstitutingLiteralEqualityHelper

W

WEAK - Enum constant in enum class tools.refinery.logic.literal.Connectivity

withArguments(Constraint, List<Variable>) - Method in class tools.refinery.logic.literal.AbstractCallLiteral

withArguments(Constraint, List<Variable>) - Method in class tools.refinery.logic.literal.CallLiteral

withArguments(Constraint, List<Variable>) - Method in class tools.refinery.logic.literal.RepresentativeElectionLiteral

withArguments(Constraint, List<Variable>) - Method in class tools.refinery.logic.term.AbstractCallTerm

withArguments(Constraint, List<Variable>) - Method in class tools.refinery.logic.term.AggregationTerm

withArguments(Constraint, List<Variable>) - Method in class tools.refinery.logic.term.CountTerm

withArguments(Constraint, List<Variable>) - Method in class tools.refinery.logic.term.LeftJoinTerm

withBody(Term<T>) - Method in class tools.refinery.logic.term.UnaryTerm

withDnf(Dnf) - Method in class tools.refinery.logic.dnf.FunctionalQuery

withDnf(Dnf) - Method in class tools.refinery.logic.dnf.Query

withDnf(Dnf) - Method in class tools.refinery.logic.dnf.RelationalQuery

withDnfInternal(Dnf) - Method in class tools.refinery.logic.dnf.FunctionalQuery

withDnfInternal(Dnf) - Method in class tools.refinery.logic.dnf.Query

withDnfInternal(Dnf) - Method in class tools.refinery.logic.dnf.RelationalQuery

withSubTerms(Term<T1>, Term<T2>) - Method in class tools.refinery.logic.term.BinaryTerm

withTarget(Constraint) - Method in class tools.refinery.logic.literal.AbstractCallLiteral

withTarget(Constraint) - Method in class tools.refinery.logic.term.AbstractCallTerm

withTerm(Term<Boolean>) - Method in class tools.refinery.logic.literal.CheckLiteral

withTerm(Term<T>) - Method in class tools.refinery.logic.literal.AssignLiteral

withTerm(Term<T>) - Method in interface tools.refinery.logic.literal.TermLiteral

withWeight(Term<IntInterval>, Term<A2>) - Method in class tools.refinery.logic.term.PartialAggregator.MultiplicitySensitive

X

xor(T) - Method in interface tools.refinery.logic.term.operators.Xor

xor(Term<Boolean>, Term<Boolean>) - Static method in class tools.refinery.logic.term.bool.BoolTerms

xor(Term<TruthValue>, Term<TruthValue>) - Static method in class tools.refinery.logic.term.truthvalue.TruthValueTerms

xor(TruthValue) - Method in enum class tools.refinery.logic.term.truthvalue.TruthValue

Xor<T> - Interface in tools.refinery.logic.term.operators

XorTerm<T> - Class in tools.refinery.logic.term.operators

XorTerm(Class<T>, Term<T>, Term<T>) - Constructor for class tools.refinery.logic.term.operators.XorTerm

Z

zero() - Method in class tools.refinery.logic.literal.AbstractCountLiteral

ZERO - Static variable in record class tools.refinery.logic.term.intinterval.IntBound.Finite

ZERO - Static variable in record class tools.refinery.logic.term.intinterval.IntInterval

ZERO - Static variable in record class tools.refinery.logic.term.realinterval.RealBound.Finite

ZERO - Static variable in record class tools.refinery.logic.term.realinterval.RealInterval

ZERO - Static variable in class tools.refinery.logic.term.uppercardinality.UpperCardinalities

A B C D E F G H I J L M N O P Q R S T U V W X Z
All Classes and Interfaces|All Packages|Serialized Form