Hierarchy For All Packages

Package Hierarchies:

• tools.refinery.logic,
• tools.refinery.logic.dnf,
• tools.refinery.logic.dnf.callback,
• tools.refinery.logic.equality,
• tools.refinery.logic.literal,
• tools.refinery.logic.rewriter,
• tools.refinery.logic.substitution,
• tools.refinery.logic.term,
• tools.refinery.logic.term.abstractdomain,
• tools.refinery.logic.term.bool,
• tools.refinery.logic.term.cardinalityinterval,
• tools.refinery.logic.term.comparable,
• tools.refinery.logic.term.int_,
• tools.refinery.logic.term.intinterval,
• tools.refinery.logic.term.operators,
• tools.refinery.logic.term.real,
• tools.refinery.logic.term.realinterval,
• tools.refinery.logic.term.string,
• tools.refinery.logic.term.truthvalue,
• tools.refinery.logic.term.uppercardinality,
• tools.refinery.logic.util,
• tools.refinery.logic.valuation

Class Hierarchy

• java.lang.Object
  • tools.refinery.logic.term.abstractdomain.AbstractDomainTerms
  • tools.refinery.logic.literal.AbstractLiteral (implements tools.refinery.logic.literal.Literal)
    • tools.refinery.logic.literal.AbstractCallLiteral
      • tools.refinery.logic.literal.AbstractCountLiteral<T>
      • tools.refinery.logic.literal.CallLiteral (implements tools.refinery.logic.literal.CanNegate<T>)
      • tools.refinery.logic.literal.RepresentativeElectionLiteral
    • tools.refinery.logic.literal.AssignLiteral<T> (implements tools.refinery.logic.literal.TermLiteral<T>)
    • tools.refinery.logic.literal.CheckLiteral (implements tools.refinery.logic.literal.CanNegate<T>, tools.refinery.logic.literal.TermLiteral<T>)
    • tools.refinery.logic.literal.ConstantLiteral
    • tools.refinery.logic.literal.EquivalenceLiteral (implements tools.refinery.logic.literal.CanNegate<T>)
  • tools.refinery.logic.dnf.AbstractQueryBuilder<T>
    • tools.refinery.logic.dnf.FunctionalQueryBuilder<T>
    • tools.refinery.logic.dnf.QueryBuilder
  • tools.refinery.logic.rewriter.AbstractRecursiveRewriter (implements tools.refinery.logic.rewriter.DnfRewriter)
    • tools.refinery.logic.rewriter.CompoundTermToLiteralsRewriter
    • tools.refinery.logic.rewriter.DuplicateDnfRemover
    • tools.refinery.logic.rewriter.InputParameterResolver
  • tools.refinery.logic.term.AbstractTerm<T> (implements tools.refinery.logic.term.Term<T>)
    • tools.refinery.logic.term.AbstractCallTerm<T>
      • tools.refinery.logic.term.AggregationTerm<R,T>
      • tools.refinery.logic.term.CountTerm
      • tools.refinery.logic.term.LeftJoinTerm<T>
    • tools.refinery.logic.term.BinaryTerm<R,T1,T2>
      • tools.refinery.logic.term.abstractdomain.AbstractDomainBinaryTerm<R,A,C>
        • tools.refinery.logic.term.abstractdomain.AbstractDomainEqTerm<A,C>
        • tools.refinery.logic.term.abstractdomain.AbstractDomainGreaterEqTerm<A,C>
        • tools.refinery.logic.term.abstractdomain.AbstractDomainGreaterTerm<A,C>
        • tools.refinery.logic.term.abstractdomain.AbstractDomainJoinTerm<A,C>
        • tools.refinery.logic.term.abstractdomain.AbstractDomainLessEqTerm<A,C>
        • tools.refinery.logic.term.abstractdomain.AbstractDomainLessTerm<A,C>
        • tools.refinery.logic.term.abstractdomain.AbstractDomainMaxTerm<A,C>
        • tools.refinery.logic.term.abstractdomain.AbstractDomainMeetTerm<A,C>
        • tools.refinery.logic.term.abstractdomain.AbstractDomainMinTerm<A,C>
        • tools.refinery.logic.term.abstractdomain.AbstractDomainNotEqTerm<A,C>
        • tools.refinery.logic.term.abstractdomain.AbstractDomainRangeTerm<A,C>
        • tools.refinery.logic.term.abstractdomain.AbstractDomainSubsetTerm<A,C>
        • tools.refinery.logic.term.abstractdomain.AbstractDomainSupersetTerm<A,C>
      • tools.refinery.logic.term.operators.AddTerm<T>
      • tools.refinery.logic.term.operators.AndTerm<T>
      • tools.refinery.logic.term.bool.BoolBinaryTerm
        • tools.refinery.logic.term.bool.BoolAndTerm
        • tools.refinery.logic.term.bool.BoolOrTerm
        • tools.refinery.logic.term.bool.BoolXorTerm
      • tools.refinery.logic.term.comparable.ComparisonTerm<T>
        • tools.refinery.logic.term.comparable.EqTerm<T>
        • tools.refinery.logic.term.comparable.GreaterEqTerm<T>
        • tools.refinery.logic.term.comparable.GreaterTerm<T>
        • tools.refinery.logic.term.comparable.LessEqTerm<T>
        • tools.refinery.logic.term.comparable.LessTerm<T>
        • tools.refinery.logic.term.comparable.NotEqTerm<T>
      • tools.refinery.logic.term.operators.DivTerm<T>
      • tools.refinery.logic.term.int_.IntBinaryTerm
        • tools.refinery.logic.term.int_.IntAddTerm
        • tools.refinery.logic.term.int_.IntDivTerm
        • tools.refinery.logic.term.int_.IntMaxTerm
        • tools.refinery.logic.term.int_.IntMinTerm
        • tools.refinery.logic.term.int_.IntMulTerm
        • tools.refinery.logic.term.int_.IntPowTerm
        • tools.refinery.logic.term.int_.IntSubTerm
      • tools.refinery.logic.term.operators.MulTerm<T>
      • tools.refinery.logic.term.operators.OrTerm<T>
      • tools.refinery.logic.term.operators.PowTerm<T>
      • tools.refinery.logic.term.real.RealBinaryTerm
        • tools.refinery.logic.term.real.RealAddTerm
        • tools.refinery.logic.term.real.RealDivTerm
        • tools.refinery.logic.term.real.RealMaxTerm
        • tools.refinery.logic.term.real.RealMinTerm
        • tools.refinery.logic.term.real.RealMulTerm
        • tools.refinery.logic.term.real.RealPowTerm
        • tools.refinery.logic.term.real.RealSubTerm
      • tools.refinery.logic.term.operators.SubTerm<T>
      • tools.refinery.logic.term.uppercardinality.UpperCardinalityBinaryTerm
        • tools.refinery.logic.term.uppercardinality.UpperCardinalityAddTerm
        • tools.refinery.logic.term.uppercardinality.UpperCardinalityMaxTerm
        • tools.refinery.logic.term.uppercardinality.UpperCardinalityMinTerm
        • tools.refinery.logic.term.uppercardinality.UpperCardinalityMulTerm
      • tools.refinery.logic.term.operators.XorTerm<T>
    • tools.refinery.logic.term.ConstantTerm<T>
    • tools.refinery.logic.term.NodeIdTerm
    • tools.refinery.logic.term.UnaryTerm<R,T>
      • tools.refinery.logic.term.abstractdomain.AbstractDomainUnaryTerm<R,A,C>
        • tools.refinery.logic.term.abstractdomain.AbstractDomainLowerBoundTerm<A,C>
        • tools.refinery.logic.term.abstractdomain.AbstractDomainUpperBoundTerm<A,C>
        • tools.refinery.logic.term.abstractdomain.AsStringTerm<A,C>
        • tools.refinery.logic.term.abstractdomain.IsConcreteTerm<A,C>
        • tools.refinery.logic.term.abstractdomain.IsErrorTerm<A,C>
      • tools.refinery.logic.term.realinterval.AsIntIntervalTerm
      • tools.refinery.logic.term.realinterval.AsRealIntervalTerm
      • tools.refinery.logic.term.truthvalue.AsTruthValueTerm
      • tools.refinery.logic.term.bool.BoolNotTerm
      • tools.refinery.logic.term.operators.ExpTerm<T>
      • tools.refinery.logic.term.intinterval.IntIntervalFromStringTerm
      • tools.refinery.logic.term.real.IntToRealTerm
      • tools.refinery.logic.term.int_.IntUnaryTerm
        • tools.refinery.logic.term.int_.IntMinusTerm
        • tools.refinery.logic.term.int_.IntPlusTerm
      • tools.refinery.logic.term.operators.LogTerm<T>
      • tools.refinery.logic.term.operators.MinusTerm<T>
      • tools.refinery.logic.term.operators.NotTerm<T>
      • tools.refinery.logic.term.operators.PlusTerm<T>
      • tools.refinery.logic.term.realinterval.RealIntervalFromStringTerm
      • tools.refinery.logic.term.int_.RealToIntTerm
      • tools.refinery.logic.term.real.RealUnaryTerm
        • tools.refinery.logic.term.real.RealMinusTerm
        • tools.refinery.logic.term.real.RealPlusTerm
      • tools.refinery.logic.term.operators.SqrtTerm<T>
      • tools.refinery.logic.term.truthvalue.TruthValueFromStringTerm
      • tools.refinery.logic.term.truthvalue.TruthValueMayTerm
      • tools.refinery.logic.term.truthvalue.TruthValueMustTerm
  • tools.refinery.logic.term.bool.BoolTerms
  • tools.refinery.logic.util.CallSite
  • tools.refinery.logic.term.cardinalityinterval.CardinalityDomain (implements tools.refinery.logic.AbstractDomain<A,C>)
  • tools.refinery.logic.term.cardinalityinterval.CardinalityIntervals
  • tools.refinery.logic.rewriter.CompositeRewriter (implements tools.refinery.logic.rewriter.DnfRewriter)
  • tools.refinery.logic.util.CycleDetectingMapper<T,R>
  • tools.refinery.logic.equality.DeepDnfEqualityChecker (implements tools.refinery.logic.equality.DnfEqualityChecker)
  • tools.refinery.logic.dnf.Dnf (implements tools.refinery.logic.Constraint)
  • tools.refinery.logic.dnf.DnfBuilder
  • tools.refinery.logic.dnf.DnfUtils
  • tools.refinery.logic.term.ExtremeValueAggregator<T> (implements tools.refinery.logic.term.StatefulAggregator<R,T>)
  • tools.refinery.logic.term.intinterval.IntIntervalDomain (implements tools.refinery.logic.ComparableAbstractDomain<A,C>)
  • tools.refinery.logic.term.intinterval.IntIntervalTerms
  • tools.refinery.logic.term.int_.IntSumAggregator (implements tools.refinery.logic.term.StatelessAggregator<R,T>)
  • tools.refinery.logic.term.int_.IntTerms
  • tools.refinery.logic.literal.Literals
  • tools.refinery.logic.term.Parameter
    • tools.refinery.logic.dnf.SymbolicParameter
  • tools.refinery.logic.term.PartialAggregator<A,C,A2,C2> (implements tools.refinery.logic.term.AnyPartialAggregator)
    • tools.refinery.logic.term.PartialAggregator.JoinAggregator<A,C>
    • tools.refinery.logic.term.PartialAggregator.MeetAggregator<A,C>
    • tools.refinery.logic.term.PartialAggregator.MultiplicityInsensitive<A,C,A2,C2>
    • tools.refinery.logic.term.PartialAggregator.MultiplicitySensitive<A,C,A2,C2,T>
  • tools.refinery.logic.dnf.Query<T> (implements tools.refinery.logic.dnf.AnyQuery)
    • tools.refinery.logic.dnf.FunctionalQuery<T>
    • tools.refinery.logic.dnf.RelationalQuery
  • tools.refinery.logic.term.realinterval.RealIntervalDomain (implements tools.refinery.logic.ComparableAbstractDomain<A,C>)
  • tools.refinery.logic.term.realinterval.RealIntervalTerms
  • tools.refinery.logic.term.real.RealTerms
  • tools.refinery.logic.substitution.RenewingSubstitution (implements tools.refinery.logic.substitution.Substitution)
  • tools.refinery.logic.term.string.StringDomain (implements tools.refinery.logic.AbstractDomain<A,C>)
  • tools.refinery.logic.term.string.StringTerms
  • tools.refinery.logic.term.string.StringValue.Error (implements tools.refinery.logic.term.string.StringValue)
  • tools.refinery.logic.term.string.StringValue.Unknown (implements tools.refinery.logic.term.string.StringValue)
  • tools.refinery.logic.equality.SubstitutingLiteralEqualityHelper (implements tools.refinery.logic.equality.LiteralEqualityHelper)
  • tools.refinery.logic.equality.SubstitutingLiteralHashCodeHelper (implements tools.refinery.logic.equality.LiteralHashCodeHelper)
  • tools.refinery.logic.substitution.SubstitutionBuilder
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • java.lang.RuntimeException
        • tools.refinery.logic.util.CircularReferenceException
        • tools.refinery.logic.InvalidQueryException
          • tools.refinery.logic.dnf.InvalidClauseException
  • tools.refinery.logic.term.TreapAggregator<R,T> (implements tools.refinery.logic.term.StatefulAggregator<R,T>)
  • tools.refinery.logic.term.truthvalue.TruthValueDomain (implements tools.refinery.logic.ComparableAbstractDomain<A,C>)
  • tools.refinery.logic.term.truthvalue.TruthValueTerms
  • tools.refinery.logic.term.uppercardinality.UnboundedUpperCardinality (implements tools.refinery.logic.term.uppercardinality.UpperCardinality)
  • tools.refinery.logic.term.uppercardinality.UpperCardinalities
  • tools.refinery.logic.term.uppercardinality.UpperCardinalitySumAggregator (implements tools.refinery.logic.term.StatefulAggregator<R,T>)
  • tools.refinery.logic.term.uppercardinality.UpperCardinalityTerms
  • tools.refinery.logic.valuation.ValuationBuilder
  • tools.refinery.logic.term.Variable
    • tools.refinery.logic.term.AnyDataVariable (implements tools.refinery.logic.term.AnyTerm)
      • tools.refinery.logic.term.DataVariable<T> (implements tools.refinery.logic.term.Term<T>)
    • tools.refinery.logic.term.NodeVariable

Interface Hierarchy

• tools.refinery.logic.term.operators.Add<T>
  • tools.refinery.logic.term.string.StringValue (also extends tools.refinery.logic.AbstractValue<A,C>)
  • tools.refinery.logic.term.operators.Sub<T>
• tools.refinery.logic.term.Aggregator<R,T>
  • tools.refinery.logic.term.StatefulAggregator<R,T>
  • tools.refinery.logic.term.StatelessAggregator<R,T>
• tools.refinery.logic.term.operators.And<T>
• tools.refinery.logic.AnyAbstractDomain
  • tools.refinery.logic.AbstractDomain<A,C>
    • tools.refinery.logic.ComparableAbstractDomain<A,C>
• tools.refinery.logic.term.AnyPartialAggregator
• tools.refinery.logic.dnf.AnyQuery
• tools.refinery.logic.term.AnyTerm
  • tools.refinery.logic.term.Term<T>
• tools.refinery.logic.dnf.callback.ClauseCallback0
• tools.refinery.logic.dnf.callback.ClauseCallback1Data0
• tools.refinery.logic.dnf.callback.ClauseCallback1Data1<T>
• tools.refinery.logic.dnf.callback.ClauseCallback2Data0
• tools.refinery.logic.dnf.callback.ClauseCallback2Data1<T>
• tools.refinery.logic.dnf.callback.ClauseCallback2Data2<T1,T2>
• tools.refinery.logic.dnf.callback.ClauseCallback3Data0
• tools.refinery.logic.dnf.callback.ClauseCallback3Data1<T>
• tools.refinery.logic.dnf.callback.ClauseCallback3Data2<T1,T2>
• tools.refinery.logic.dnf.callback.ClauseCallback3Data3<T1,T2,T3>
• tools.refinery.logic.dnf.callback.ClauseCallback4Data0
• tools.refinery.logic.dnf.callback.ClauseCallback4Data1<T>
• tools.refinery.logic.dnf.callback.ClauseCallback4Data2<T1,T2>
• tools.refinery.logic.dnf.callback.ClauseCallback4Data3<T1,T2,T3>
• tools.refinery.logic.dnf.callback.ClauseCallback4Data4<T1,T2,T3,T4>
• java.lang.Comparable<T>
  • tools.refinery.logic.AbstractValue<A,C>
    • tools.refinery.logic.term.ComparableAbstractValue<A,C>
    • tools.refinery.logic.term.string.StringValue (also extends tools.refinery.logic.term.operators.Add<T>)
  • tools.refinery.logic.term.uppercardinality.UpperCardinality
• tools.refinery.logic.Constraint
• tools.refinery.logic.equality.DnfEqualityChecker
  • tools.refinery.logic.equality.LiteralEqualityHelper
• tools.refinery.logic.rewriter.DnfRewriter
• tools.refinery.logic.term.operators.Exp<T>
  • tools.refinery.logic.term.operators.Log<T>
• tools.refinery.logic.dnf.callback.FunctionalQueryCallback0<T>
• tools.refinery.logic.dnf.callback.FunctionalQueryCallback1<T>
• tools.refinery.logic.dnf.callback.FunctionalQueryCallback2<T>
• tools.refinery.logic.dnf.callback.FunctionalQueryCallback3<T>
• tools.refinery.logic.dnf.callback.FunctionalQueryCallback4<T>
• tools.refinery.logic.term.intinterval.IntBound
• tools.refinery.logic.literal.Literal
  • tools.refinery.logic.literal.CanNegate<T>
  • tools.refinery.logic.literal.TermLiteral<T>
• tools.refinery.logic.equality.LiteralHashCodeHelper
• tools.refinery.logic.term.operators.Mul<T>
  • tools.refinery.logic.term.operators.Div<T>
• tools.refinery.logic.term.operators.Not<T>
• tools.refinery.logic.term.operators.Or<T>
• tools.refinery.logic.term.operators.Plus<T>
  • tools.refinery.logic.term.operators.Minus<T>
• tools.refinery.logic.term.operators.Pow<T>
• tools.refinery.logic.dnf.callback.QueryCallback0
• tools.refinery.logic.dnf.callback.QueryCallback1
• tools.refinery.logic.dnf.callback.QueryCallback2
• tools.refinery.logic.dnf.callback.QueryCallback3
• tools.refinery.logic.dnf.callback.QueryCallback4
• tools.refinery.logic.term.realinterval.RealBound
• tools.refinery.logic.term.operators.Sqrt<T>
• tools.refinery.logic.term.StatefulAggregate<R,T>
• tools.refinery.logic.substitution.Substitution
• tools.refinery.logic.rewriter.TermRewriter
• tools.refinery.logic.term.ToMonoid<T,R>
• tools.refinery.logic.valuation.Valuation
• tools.refinery.logic.term.operators.Xor<T>

Enum Class Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
    • tools.refinery.logic.literal.BooleanLiteral (implements tools.refinery.logic.literal.CanNegate<T>)
    • tools.refinery.logic.literal.CallPolarity
    • tools.refinery.logic.literal.Connectivity
    • tools.refinery.logic.term.intinterval.IntBound.Infinite (implements tools.refinery.logic.term.intinterval.IntBound)
    • tools.refinery.logic.term.ParameterDirection
    • tools.refinery.logic.term.realinterval.RealBound.Infinite (implements tools.refinery.logic.term.realinterval.RealBound)
    • tools.refinery.logic.literal.Reduction
    • tools.refinery.logic.term.intinterval.RoundingMode
    • tools.refinery.logic.term.realinterval.RoundingMode
    • tools.refinery.logic.substitution.StatelessSubstitution (implements tools.refinery.logic.substitution.Substitution)
    • tools.refinery.logic.term.truthvalue.TruthValue (implements tools.refinery.logic.term.operators.And<T>, tools.refinery.logic.term.ComparableAbstractValue<A,C>, tools.refinery.logic.term.operators.Not<T>, tools.refinery.logic.term.operators.Or<T>, tools.refinery.logic.term.operators.Xor<T>)

Record Class Hierarchy

• java.lang.Object
  • java.lang.Record
    • tools.refinery.logic.term.cardinalityinterval.CardinalityInterval (implements tools.refinery.logic.AbstractValue<A,C>)
    • tools.refinery.logic.equality.DeepDnfEqualityChecker.Pair
    • tools.refinery.logic.dnf.DnfClause
    • tools.refinery.logic.term.uppercardinality.FiniteUpperCardinality (implements tools.refinery.logic.term.uppercardinality.UpperCardinality)
    • tools.refinery.logic.dnf.FunctionalDependency<T>
    • tools.refinery.logic.term.intinterval.IntBound.Finite (implements tools.refinery.logic.term.intinterval.IntBound)
    • tools.refinery.logic.term.intinterval.IntInterval (implements tools.refinery.logic.term.operators.Add<T>, java.lang.Comparable<T>, tools.refinery.logic.term.ComparableAbstractValue<A,C>, tools.refinery.logic.term.operators.Div<T>, tools.refinery.logic.term.operators.Minus<T>, tools.refinery.logic.term.operators.Mul<T>, tools.refinery.logic.term.operators.Plus<T>, tools.refinery.logic.term.operators.Sub<T>)
    • tools.refinery.logic.substitution.MapBasedSubstitution (implements tools.refinery.logic.substitution.Substitution)
    • tools.refinery.logic.term.realinterval.RealBound.Finite (implements tools.refinery.logic.term.realinterval.RealBound)
    • tools.refinery.logic.term.realinterval.RealInterval (implements tools.refinery.logic.term.operators.Add<T>, java.lang.Comparable<T>, tools.refinery.logic.term.ComparableAbstractValue<A,C>, tools.refinery.logic.term.operators.Div<T>, tools.refinery.logic.term.operators.Exp<T>, tools.refinery.logic.term.operators.Log<T>, tools.refinery.logic.term.operators.Minus<T>, tools.refinery.logic.term.operators.Mul<T>, tools.refinery.logic.term.operators.Plus<T>, tools.refinery.logic.term.operators.Pow<T>, tools.refinery.logic.term.operators.Sqrt<T>, tools.refinery.logic.term.operators.Sub<T>)
    • tools.refinery.logic.term.string.StringValue.Concrete (implements tools.refinery.logic.term.string.StringValue)
    • tools.refinery.logic.valuation.SubstitutedValuation (implements tools.refinery.logic.valuation.Valuation)