added graph data structures. also added code to check for equality/inequality constraints