Namespace funnyqt.query.tg

TG-specific query functions

Other Namespaces

Show/Hide
funnyqt.bidi
Bidirectional transformations (BX).
funnyqt.coevo.tg
Co-Evolution transformations on TGraphs.
funnyqt.edn
Printing/persisting and reading/loading query results and transformation traces as EDN.
funnyqt.emf
Core functions for accessing and manipulating EMF models.
funnyqt.extensional
Specify models extensionally.
funnyqt.generic
Generic protocols extended upon many different types, and generic functions.
funnyqt.in-place
In-place transformation stuff.
funnyqt.model2model
Rule-base out-place transformations similar to ATL or QVTo.
funnyqt.pmatch
Graph Pattern Matching on arbitrary models.
funnyqt.polyfns
Polymorphic functions dispatching on types of model elements.
funnyqt.query
Generic query functions like regular path expressions & quantified expressions.
funnyqt.query.emf
EMF-specific query functions
funnyqt.relational
Relational Model Querying.
funnyqt.tg
Core functions for accessing and manipulating TGraphs.
funnyqt.utils
Generic utility functions, e.g., for signaling errors, debugging, and profiling,
funnyqt.visualization
Model visualization functions.
funnyqt.xmltg
Convert XML to DOM-like TGraphs.
Index Page
Alphabetic Var Index

Public Vars

Usage Documentation

Show/Hide
TG-specific query functions
Back to top

Details of Public Vars

Function: --->

Arglists:
=========

  (---> v)
  (---> v ts)
  (---> v ts pred)

Docstring:
==========

  Returns the vertices reachable from `v` via outgoing incidences,
  optionally restricted by `ts` and `pred` (on the edges).  In contrast to
  `-->`, traversal of edges with composition semantics is forbidden.
Back to top View Source

Function: --<->

Arglists:
=========

  (--<-> v)
  (--<-> v ts)
  (--<-> v ts pred)

Docstring:
==========

  Aggregation-only path expression starting at part `v`, optionally restricted
  by `ts` and `pred` (on the edges).
Back to top View Source

Function: --<>

Arglists:
=========

  (--<> v)
  (--<> v ts)
  (--<> v ts pred)

Docstring:
==========

  Composition path expression starting at part `v`, optionally restricted by
  `ts` and `pred` (on the edges).
Back to top View Source

Function: --<?>

Arglists:
=========

  (--<?> v)
  (--<?> v ts)
  (--<?> v ts pred)

Docstring:
==========

  Aggregation path expression starting at part `v`, optionally restricted by
  `ts` and `pred` (on the edges).
Back to top View Source

Function: -->

Arglists:
=========

  (--> v)
  (--> v ts)
  (--> v ts pred)

Docstring:
==========

  Returns the vertices reachable from `v` via outgoing incidences,
  optionally restricted by `ts` and `pred` (on the edges).
Back to top View Source

Function: <--

Arglists:
=========

  (<-- v)
  (<-- v ts)
  (<-- v ts pred)

Docstring:
==========

  Returns the vertices reachable from `v` via incoming incidences,
  optionally restricted by `ts` and `pred` (on the edges).
Back to top View Source

Function: <---

Arglists:
=========

  (<--- v)
  (<--- v ts)
  (<--- v ts pred)

Docstring:
==========

  Returns the vertices reachable from `v` via incoming incidences,
  optionally restricted by `ts` and `pred` (on the edges).  In contrast to
  `<--', traversal of edges with composition semantics is forbidden.
Back to top View Source

Function: <-->

Arglists:
=========

  (<--> v)
  (<--> v ts)
  (<--> v ts pred)

Docstring:
==========

  Returns the vertices reachable from `v` via all incidences,
  optionally restricted by `ts` and `pred` (on the edges).  In contrast to
  `<->', traversal of edges with composition semantics is forbidden.
Back to top View Source

Function: <->

Arglists:
=========

  (<-> v)
  (<-> v ts)
  (<-> v ts pred)

Docstring:
==========

  Returns the vertices reachable from `v` via all incidences,
  optionally restricted by `ts` and `pred` (on the edges).
Back to top View Source

Function: <->--

Arglists:
=========

  (<->-- v)
  (<->-- v ts)
  (<->-- v ts pred)

Docstring:
==========

  Aggregation-only path expression starting at whole `v`, optionally
  restricted by `ts` and `pred` (on the edges).
Back to top View Source

Function: <>--

Arglists:
=========

  (<>-- v)
  (<>-- v ts)
  (<>-- v ts pred)

Docstring:
==========

  Composition path expression starting at whole `v`, optionally restricted by
  `ts` and `pred` (on the edges).
Back to top View Source

Function: <?>--

Arglists:
=========

  (<?>-- v)
  (<?>-- v ts)
  (<?>-- v ts pred)

Docstring:
==========

  Aggregation path expression starting at whole `v`, optionally restricted by
  `ts` and `pred` (on the edges).
Back to top View Source