package it.unibo.tuprolog.solve.primitive
Classes
Name | Description |
---|---|
abstract class ArithmeticRelation<E : ExecutionContext> : Predicative<E>
|
Base class for implementing arithmetic relation between Numeric terms |
abstract class BinaryRelation<E : ExecutionContext> : PrimitiveWrapper<E>
|
Base class to implement primitives that relate two Terms and provide a single response |
abstract class PredicateWithoutArguments<E : ExecutionContext> : PrimitiveWrapper<E>
|
A base class to implement predicates with zero argument |
interface Primitive: Any
|
|
abstract class PrimitiveWrapper<C : ExecutionContext> : AbstractWrapper<Primitive>
|
Wrapper class for Primitive implementation |
abstract class QuaternaryRelation<E : ExecutionContext> : PrimitiveWrapper<E>
|
|
abstract class QuinaryRelation<E : ExecutionContext> : PrimitiveWrapper<E>
|
|
sealed class Solve: Any
|
A base class for Solve requests and responses |
abstract class TernaryRelation<E : ExecutionContext> : PrimitiveWrapper<E>
|
Base class to implement primitives that relate tree Terms |
abstract class TypeEnsurer<E : ExecutionContext> : Predicative<E>
|
|
abstract class TypeTester<E : ExecutionContext> : Predicative<E>
|
|
abstract class UnaryPredicate<E : ExecutionContext> : PrimitiveWrapper<E>
|
A base class to implement predicates with one argument |
class ZeroaryPredicate<E>
|
Typealiases
Name | Description |
---|---|
typealias ZeroaryPredicate = PredicateWithoutArguments
|
Methods
<no name provided>
fun <no name provided>()
ReturnValue
Name | Description |
---|---|
Unit
|
A typealias for a primitive function that accepts a Solve.Request and returns a Sequence of Solve.Responses