Rules for the graph widget

[GoogleCodeExporter]

In as much detail as possible, please describe what you would like to see.

This is a suggestion for more rules for the graph widget (from Jacob):

- "graph (is/is not) (isomorphic to / subgraph of / contains / etc.) another 
graph G" 
- "graph (is/is not) (connected / acyclic / regular / etc.)"
- "graph has (max degree / chromatic number / # edges /etc.) (equal to / at 
least / at most) [NUMBER]"

This represents the rules in a compact way and allows naturally for 
extensibility.

(Note though that "graph is contains another graph G" looks a bit weird.)

Original issue reported on code.google.com by s...@seanlip.org on 19 Nov 2014 at 4:57

[GoogleCodeExporter]

Original comment by s...@seanlip.org on 1 Dec 2014 at 3:23