Hierarchy For Package tools.refinery.logic.literal

Package Hierarchies:

• All Packages

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

Interface Hierarchy

• tools.refinery.logic.literal.Literal
  • tools.refinery.logic.literal.CanNegate<T>
  • tools.refinery.logic.literal.TermLiteral<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.literal.Reduction