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

Modifier and Type	Method	Description
AnyTerm	call(NodeVariable... arguments)
AnyTerm	call(Concreteness concreteness, NodeVariable... arguments)
AnyTerm	call(ConcretenessSpecification concreteness, List<NodeVariable> arguments)

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

abstractDomain, arity, asPartialFunction, asPartialRelation, name

Method Details

call

AnyTerm call(NodeVariable... arguments)

call

AnyTerm call(Concreteness concreteness,
 NodeVariable... arguments)

call

AnyTerm call(ConcretenessSpecification concreteness,
 List<NodeVariable> arguments)