Code

Add containment for trees and graphs#118

Code

Open

BramVanroy wants to merge 6 commits intogoodmami:maingoodmami/penman:mainfrom BramVanroy:containsBramVanroy/penman:containsCopy head branch name to clipboard

+48-3

Commits

Commits on Aug 7, 2023

• add containment check for graphs

  BramVanroy

  committed
  7098bc1

  Copy full SHA for 7098bc1

• add containment check for trees

  BramVanroy

  committed
  1a3d111

  Copy full SHA for 1a3d111

Commits on Oct 23, 2023

• Update penman/graph.py

  Show description for c95d35e
  

  BramVanroy

  and

  goodmami

  authored
  c95d35e

  Copy full SHA for c95d35e

• Only do containment in graphs

  BramVanroy

  committed
  33fae29

  Copy full SHA for 33fae29

• remove containment check tree

  BramVanroy

  committed
  a9e193a

  Copy full SHA for a9e193a

• fix max line length

  BramVanroy

  committed
  732e8e5

  Copy full SHA for 732e8e5