Graph coding

Defines
#define	vallst_ggcditEdgeToLit(i, j, dim)   ( 2 * ( ((dim)-1) * (i) + (j) + ((j)<(i)) ) )
#define	vallst_ggcditLitToEdge(p, dim, i, j)
#define	vallst_ggcditLitToEdgeFst(p, dim)   ( ( (p)/2 - 1 ) / ((dim)-1) )

---

Define Documentation

#define vallst_ggcditEdgeToLit (  i, j, dim   )     ( 2 * ( ((dim)-1) * (i) + (j) + ((j)<(i)) ) )

The intended meaning of this macro is a mapping from graph edge (i,j) to the corresponding vallst literal representing the edge. vallst_ggcditEdgeToLit defines a canonical mapping between the edges (i,j) in a complete directed irreflexive graph with dim many nodes, and vallst literals representing the edges, with i!=j, 0<=i<dim and 0<=j<dim. Here the first vallst literal representing an edge is assumed to be 2. If that's not the case but instead the coding starts with literal q, just adjust the returned values accordingly. E.g. if q=5 starts the representation, just add 3 (5-2 (q-2)) to values returned by vallst_ggcditEdgeToLit. VallstFormulaType_ggcdiTour assumes the coding defined by vallst_ggcditEdgeToLit (except possibly for some other vallst start literal q). See VallstFormulaType_ggcdiTour for more. Definition at line 2624 of file vallstAPI.h.

#define vallst_ggcditLitToEdge (  p, dim, i, j   )

Value: do \ { \ (j) = (p)/2 - 1; \ (i) = (j) / ((dim)-1); \ (j) = (j) % ((dim)-1); \ (j) += (i) <= (j); \ } \ while (0) The inverse of vallst_ggcditEdgeToLit(), mapping the literals p and -p representing (i,j) to (i,j), assigning i and j. See vallst_ggcditEdgeToLit() and VallstFormulaType_ggcdiTour. If e.g. your edge representation starts with q=5 instead of the default 2, subtract 2 to the representing p when calling vallst_ggcditLitToEdge (i.e. subtract q-2+"q is odd" (i.e. subtract (q-2+q2))). Definition at line 2635 of file vallstAPI.h.

#define vallst_ggcditLitToEdgeFst (  p, dim   )     ( ( (p)/2 - 1 ) / ((dim)-1) )

The first part of the inverse of vallst_ggcditEdgeToLit(), mapping the literals p and -p representing (i,j) to i. See vallst_ggcditEdgeToLit() and VallstFormulaType_ggcdiTour. Definition at line 2650 of file vallstAPI.h.

---