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.bool,
• tools.refinery.logic.term.cardinalityinterval,
• tools.refinery.logic.term.comparable,
• tools.refinery.logic.term.int_,
• tools.refinery.logic.term.real,
• 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.literal.AbstractLiteral (implements tools.refinery.logic.literal.Literal)
    • tools.refinery.logic.literal.AbstractCallLiteral
      • tools.refinery.logic.literal.AbstractCountLiteral<T>
        • tools.refinery.logic.literal.CountLiteral
      • tools.refinery.logic.literal.AggregationLiteral<R,T>
      • tools.refinery.logic.literal.CallLiteral (implements tools.refinery.logic.literal.CanNegate<T>)
      • tools.refinery.logic.literal.LeftJoinLiteral<T>
      • tools.refinery.logic.literal.RepresentativeElectionLiteral
    • tools.refinery.logic.literal.AssignLiteral<T>
    • tools.refinery.logic.literal.CheckLiteral (implements tools.refinery.logic.literal.CanNegate<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.DuplicateDnfRemover
    • tools.refinery.logic.rewriter.InputParameterResolver
  • tools.refinery.logic.term.AbstractTerm<T> (implements tools.refinery.logic.term.Term<T>)
    • tools.refinery.logic.term.BinaryTerm<R,T1,T2>
      • 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.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.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.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.ConstantTerm<T>
    • tools.refinery.logic.term.UnaryTerm<R,T>
      • tools.refinery.logic.term.bool.BoolNotTerm
      • 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.int_.RealToIntTerm
      • tools.refinery.logic.term.real.RealUnaryTerm
        • tools.refinery.logic.term.real.RealMinusTerm
        • tools.refinery.logic.term.real.RealPlusTerm
  • tools.refinery.logic.term.bool.BoolTerms
  • 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.cardinalityinterval.EmptyCardinalityInterval (implements tools.refinery.logic.term.cardinalityinterval.CardinalityInterval)
  • tools.refinery.logic.term.ExtremeValueAggregator<T> (implements tools.refinery.logic.term.StatefulAggregator<R,T>)
  • 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.dnf.Query<T> (implements tools.refinery.logic.dnf.AnyQuery)
    • tools.refinery.logic.dnf.FunctionalQuery<T>
    • tools.refinery.logic.dnf.RelationalQuery
  • tools.refinery.logic.term.real.RealSumAggregator (implements tools.refinery.logic.term.StatefulAggregator<R,T>)
  • tools.refinery.logic.term.real.RealTerms
  • tools.refinery.logic.substitution.RenewingSubstitution (implements tools.refinery.logic.substitution.Substitution)
  • 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.InvalidQueryException
          • tools.refinery.logic.dnf.InvalidClauseException
  • tools.refinery.logic.term.truthvalue.TruthValueDomain (implements tools.refinery.logic.AbstractDomain<A,C>)
  • 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.AbstractValue<A,C>
  • tools.refinery.logic.term.cardinalityinterval.CardinalityInterval
• tools.refinery.logic.term.Aggregator<R,T>
  • tools.refinery.logic.term.StatefulAggregator<R,T>
  • tools.refinery.logic.term.StatelessAggregator<R,T>
• tools.refinery.logic.AnyAbstractDomain
  • tools.refinery.logic.AbstractDomain<A,C>
• tools.refinery.logic.dnf.AnyQuery
• tools.refinery.logic.term.AnyTerm
  • tools.refinery.logic.term.Term<T> (also extends tools.refinery.logic.term.AssignedValue<T>)
• tools.refinery.logic.term.AssignedValue<T>
  • tools.refinery.logic.term.Term<T> (also extends tools.refinery.logic.term.AnyTerm)
• 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.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.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.literal.Literal
  • tools.refinery.logic.literal.CanNegate<T>
• tools.refinery.logic.equality.LiteralHashCodeHelper
• 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.StatefulAggregate<R,T>
• tools.refinery.logic.substitution.Substitution
• tools.refinery.logic.valuation.Valuation

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.ParameterDirection
    • tools.refinery.logic.literal.Reduction
    • tools.refinery.logic.substitution.StatelessSubstitution (implements tools.refinery.logic.substitution.Substitution)
    • tools.refinery.logic.term.truthvalue.TruthValue (implements tools.refinery.logic.AbstractValue<A,C>)

Record Class Hierarchy

• java.lang.Object
  • java.lang.Record
    • 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.substitution.MapBasedSubstitution (implements tools.refinery.logic.substitution.Substitution)
    • tools.refinery.logic.term.cardinalityinterval.NonEmptyCardinalityInterval (implements tools.refinery.logic.term.cardinalityinterval.CardinalityInterval)
    • tools.refinery.logic.valuation.RestrictedValuation (implements tools.refinery.logic.valuation.Valuation)
    • tools.refinery.logic.valuation.SubstitutedValuation (implements tools.refinery.logic.valuation.Valuation)