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

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

AbstractLiteral - Class in tools.refinery.logic.literal

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

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.truthvalue.TruthValueDomain

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.StatefulAggregate

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

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<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

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

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

AggregationLiteral<R,T> - Class in tools.refinery.logic.literal

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

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

allowedVariables() - Method in record class tools.refinery.logic.valuation.RestrictedValuation

Returns the value of the allowedVariables record component.

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(Term<Boolean>, Term<Boolean>) - Static method in class tools.refinery.logic.term.bool.BoolTerms

AnyAbstractDomain - Interface in tools.refinery.logic

AnyDataVariable - Class in tools.refinery.logic.term

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

AnyQuery - Interface in tools.refinery.logic.dnf

AnyTerm - Interface in tools.refinery.logic.term

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(Term<Double>) - Static method in class tools.refinery.logic.term.int_.IntTerms

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

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

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

AssignedValue<T> - Interface in tools.refinery.logic.term

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

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

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(List<NodeVariable>) - Method in class tools.refinery.logic.dnf.FunctionalQuery

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

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

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.FunctionalQuery

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.

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

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

CheckLiteral - Class in tools.refinery.logic.literal

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

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

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

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.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(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

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

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

CountLiteral - Class in tools.refinery.logic.literal

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

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

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

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

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(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

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(Boolean) - Method in class tools.refinery.logic.term.bool.BoolNotTerm

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.UnaryTerm

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

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

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

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.AggregationLiteral

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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(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<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 class tools.refinery.logic.term.Parameter

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.RestrictedValuation

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

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.AggregationLiteral

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 class tools.refinery.logic.literal.LeftJoinLiteral

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.AbstractTerm

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.UnaryTerm

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.truthvalue.TruthValueDomain

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

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

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 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

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

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.

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

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

getAggregator() - Method in class tools.refinery.logic.literal.AggregationLiteral

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 enum class tools.refinery.logic.term.truthvalue.TruthValue

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

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

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

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

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 enum class tools.refinery.logic.term.truthvalue.TruthValue

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

getDefaultValue() - Method in class tools.refinery.logic.literal.LeftJoinLiteral

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 class tools.refinery.logic.term.real.RealSumAggregator

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

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.real.RealSumAggregator

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

getInputVariable() - Method in class tools.refinery.logic.literal.AggregationLiteral

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

getInputVariables() - Method in interface tools.refinery.logic.term.AnyTerm

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

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

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

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

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

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 class tools.refinery.logic.literal.LeftJoinLiteral

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

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

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

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

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

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

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 class tools.refinery.logic.literal.LeftJoinLiteral

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.literal.LeftJoinLiteral

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 class tools.refinery.logic.literal.LeftJoinLiteral

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

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

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

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.real.RealSumAggregator

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

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

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

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

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

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

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

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

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

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.RestrictedValuation

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

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<UpperCardinality>, Term<UpperCardinality>) - Static method in class tools.refinery.logic.term.uppercardinality.UpperCardinalityTerms

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<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

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 class tools.refinery.logic.term.Parameter

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.RestrictedValuation

Returns a hash code value for this object.

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.AggregationLiteral

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 class tools.refinery.logic.literal.LeftJoinLiteral

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.AbstractTerm

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.UnaryTerm

I

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

IN - Enum constant in enum class tools.refinery.logic.term.ParameterDirection

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.real.RealSumAggregator

INSTANCE - Static variable in class tools.refinery.logic.term.truthvalue.TruthValueDomain

INSTANCE - Static variable in class tools.refinery.logic.term.uppercardinality.UpperCardinalitySumAggregator

INT_MAX - Static variable in class tools.refinery.logic.term.int_.IntTerms

INT_MIN - Static variable in class tools.refinery.logic.term.int_.IntTerms

INT_SUM - Static variable in class tools.refinery.logic.term.int_.IntTerms

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

IntDivTerm - Class in tools.refinery.logic.term.int_

IntDivTerm(Term<Integer>, Term<Integer>) - Constructor for class tools.refinery.logic.term.int_.IntDivTerm

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 enum class tools.refinery.logic.term.truthvalue.TruthValue

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 enum class tools.refinery.logic.term.truthvalue.TruthValue

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

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

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

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

isTransitive() - Method in enum class tools.refinery.logic.literal.CallPolarity

J

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

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

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

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

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

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<UpperCardinality>, Term<UpperCardinality>) - Static method in class tools.refinery.logic.term.uppercardinality.UpperCardinalityTerms

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<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

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

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.

M

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(CardinalityInterval) - Method in record class tools.refinery.logic.term.cardinalityinterval.CardinalityInterval

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(UpperCardinality) - Method in interface tools.refinery.logic.term.uppercardinality.UpperCardinality

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

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

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

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

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

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(UpperCardinality) - Method in interface tools.refinery.logic.term.uppercardinality.UpperCardinality

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

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<UpperCardinality>, Term<UpperCardinality>) - Static method in class tools.refinery.logic.term.uppercardinality.UpperCardinalityTerms

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

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

NODE_OUT - Static variable in class tools.refinery.logic.term.Parameter

NodeVariable - Class in tools.refinery.logic.term

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

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_REDUCIBLE - Enum constant in enum class tools.refinery.logic.literal.Reduction

Signifies that a literal should be preserved in the clause.

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<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

O

of() - Static method in class tools.refinery.logic.term.Variable

of(int) - Static method in interface tools.refinery.logic.term.uppercardinality.UpperCardinality

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<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(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(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

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

one() - Method in class tools.refinery.logic.literal.CountLiteral

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

ONE - Static variable in class tools.refinery.logic.term.uppercardinality.UpperCardinalities

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

operatorName() - Method in class tools.refinery.logic.literal.CountLiteral

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

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

Returns the value of the originalValuation record component.

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

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

POSITIVE - Enum constant in enum class tools.refinery.logic.literal.CallPolarity

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

Returns the value of the positiveVariables record component.

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

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

REAL_MAX - Static variable in class tools.refinery.logic.term.real.RealTerms

REAL_MIN - Static variable in class tools.refinery.logic.term.real.RealTerms

REAL_SUM - Static variable in class tools.refinery.logic.term.real.RealTerms

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

RealDivTerm - Class in tools.refinery.logic.term.real

RealDivTerm(Term<Double>, Term<Double>) - Constructor for class tools.refinery.logic.term.real.RealDivTerm

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

RealSumAggregator - Class in tools.refinery.logic.term.real

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.AggregationLiteral

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 class tools.refinery.logic.literal.LeftJoinLiteral

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

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

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

restrict(Set<? extends AnyDataVariable>) - Method in interface tools.refinery.logic.valuation.Valuation

RestrictedValuation - Record Class in tools.refinery.logic.valuation

RestrictedValuation(Valuation, Set<AnyDataVariable>) - Constructor for record class tools.refinery.logic.valuation.RestrictedValuation

Creates an instance of a RestrictedValuation record class.

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

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

Returns the value of the right record component.

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

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

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

STRONG - Enum constant in enum class tools.refinery.logic.literal.Connectivity

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

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 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 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, 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(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

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

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

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

toLiteral(DataVariable<T>) - Method in interface tools.refinery.logic.term.AssignedValue

toLiteral(DataVariable<T>) - Method in interface tools.refinery.logic.term.Term

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

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.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.real - package tools.refinery.logic.term.real

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.AggregationLiteral

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.LeftJoinLiteral

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.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.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 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.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.RestrictedValuation

Returns a string representation of this record class.

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

toTruthValue(boolean) - Static method in enum class tools.refinery.logic.term.truthvalue.TruthValue

TRANSITIVE - Enum constant in enum class tools.refinery.logic.literal.CallPolarity

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

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.truthvalue.TruthValueDomain

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

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.

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

V

valuation() - Method in record class tools.refinery.logic.valuation.RestrictedValuation

Returns the value of the valuation record component.

Valuation - Interface in tools.refinery.logic.valuation

ValuationBuilder - Class in tools.refinery.logic.valuation

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.ParameterDirection

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.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.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.AggregationLiteral

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

withArguments(Constraint, List<Variable>) - Method in class tools.refinery.logic.literal.CountLiteral

withArguments(Constraint, List<Variable>) - Method in class tools.refinery.logic.literal.LeftJoinLiteral

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

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

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

X

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

Z

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

zero() - Method in class tools.refinery.logic.literal.CountLiteral

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