:createsPostTxState leaf node


Label

creates post Transaction execution State

Description

Relates a transaction to the global state of the system after the transaction has been executed.

Usage

DOMAINPROPERTYRANGE
:Tx :createsPostTxState :WorldState

Implementation

@prefix : <http://ethon.consensys.net/> .
@prefix ns: <http://www.w3.org/2003/06/sw-vocab-status/ns#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

:createsPostTxState a owl:FunctionalProperty,
        owl:ObjectProperty ;
    rdfs:label "creates post Transaction execution State"@en ;
    :suggestedStringRepresentation "createsPostTxState" ;
    rdfs:comment "Relates a transaction to the global state of the system after the transaction has been executed."@en ;
    rdfs:domain :Tx ;
    rdfs:range :WorldState ;
    rdfs:subPropertyOf :createsState ;
    ns:term_status "unstable" .