Hierarchy For Package tools.refinery.logic.substitution
Class Hierarchy
- java.lang.Object
- tools.refinery.logic.substitution.RenewingSubstitution (implements tools.refinery.logic.substitution.Substitution)
- tools.refinery.logic.substitution.SubstitutionBuilder
Interface Hierarchy
- tools.refinery.logic.substitution.Substitution
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.substitution.StatelessSubstitution (implements tools.refinery.logic.substitution.Substitution)
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
Record Class Hierarchy
- java.lang.Object
- java.lang.Record
- tools.refinery.logic.substitution.MapBasedSubstitution (implements tools.refinery.logic.substitution.Substitution)
- java.lang.Record