Package dev.roanh.gmark.output

Interface OutputFormal

All Known Subinterfaces:
CPQ, QueryLanguageSyntax, RPQ
All Known Implementing Classes:
ConcatCPQ, ConcatRPQ, DisjunctionRPQ, EdgeCPQ, EdgeRPQ, GenericConcatenation, GenericEdge, IdentityCPQ, IntersectionCPQ, KleeneRPQ, Query
public interface OutputFormal
Formal logic syntax output format, will generally match Object.toString().

  • Method Summary

    Modifier and Type
    Method
    Description
    String
    toFormalSyntax()
    Converts this object to its formal logic form.

  • Method Details

    • toFormalSyntax

      String toFormalSyntax()
      Converts this object to its formal logic form.
      Returns:
      The formal representation of this object.