Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

(Untyped) Symbolic Graphs and Morphisms with Integers #14

Open
ggazzi opened this issue Apr 7, 2017 · 0 comments
Open

(Untyped) Symbolic Graphs and Morphisms with Integers #14

ggazzi opened this issue Apr 7, 2017 · 0 comments
Assignees
@ggazzi
Labels
new feature
Projects
Attributes
Milestone
Attributed Graphs

Comments

@ggazzi
Copy link
Member

ggazzi commented Apr 7, 2017 •
edited
Loading

Implement a data type for (untyped) symbolic graphs and morphisms, including instances of Morphism, FindMorphism, EpiPair, AdhesiveHLR.

The base algebra should support only integers. The graphs are untyped, and each node contains a single integer attribute. Edges have no attributes.
@ggazzi ggazzi added this to the Attributed Graphs milestone Apr 7, 2017
@ggazzi ggazzi self-assigned this Apr 7, 2017
@ggazzi ggazzi added this to Backlog in Attributes Apr 7, 2017
@ggazzi ggazzi changed the title Symbolic Graphs and Morphisms Symbolic Graphs and Morphisms with Integers Apr 7, 2017
@ggazzi ggazzi moved this from Backlog to In Progress in Attributes Apr 7, 2017
@ggazzi ggazzi changed the title Symbolic Graphs and Morphisms with Integers (Untyped) Symbolic Graphs and Morphisms with Integers Apr 7, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ggazzi ggazzi

Labels
new feature
Projects
Attributes
In Progress
Milestone
Attributed Graphs
Development

No branches or pull requests
1 participant
@ggazzi