be.SIRAPRISE.typeimplementations

Class GTCLOSEInvocationResultDetails

java.lang.Object

be.SIRAPRISE.typeimplementations.RelationalOperatorInvocationResultDetails

be.SIRAPRISE.typeimplementations.GTCLOSEInvocationResultDetails

public class GTCLOSEInvocationResultDetails
extends RelationalOperatorInvocationResultDetails

GTCLOSEInvocationResultDetails

Author:

erwin

Constructor Summary

Constructors

Constructor and Description
GTCLOSEInvocationResultDetails(Heading heading, java.lang.String predicate, java.util.LinkedList<KeyDef> keySpecifications) Creates the GTCLOSEInvocationResultDetails

Method Summary

Methods inherited from class be.SIRAPRISE.typeimplementations.RelationalOperatorInvocationResultDetails

getHeading, getKeySpecifications, getPredicate

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

GTCLOSEInvocationResultDetails

public GTCLOSEInvocationResultDetails(Heading heading,
                                      java.lang.String predicate,
                                      java.util.LinkedList<KeyDef> keySpecifications)

Creates the GTCLOSEInvocationResultDetails

Parameters:

heading - The heading of the result of computing a generalized transitive closure

predicate - The predicate of which the result of the generalized transitive closure is the extension

keySpecifications - The key specifications known to be satisfied by the result of the closure