Package tools.refinery.store.reasoning.representation

Interface AnyPartialFunction

All Superinterfaces:

AnyPartialSymbol

All Known Implementing Classes:

PartialFunction

public sealed interface AnyPartialFunction
extends AnyPartialSymbol
permits PartialFunction<A,C>

Method Summary

Methods inherited from interface tools.refinery.store.reasoning.representation.AnyPartialSymbol

abstractDomain, arity, name