Class AnyDataVariable

java.lang.Object
tools.refinery.logic.term.Variable
tools.refinery.logic.term.AnyDataVariable
All Implemented Interfaces:
AnyTerm
Direct Known Subclasses:
DataVariable

public abstract sealed class AnyDataVariable extends Variable implements AnyTerm permits DataVariable<T>