Implementing neighbors function

[yhoonkim]

cp.transition.neighbors( Tr, u, remained Fields ) returns all possible u’s neighbors connected by transitions of Tr. remainedFields is optional parameters that specifies fields can be added.

[kanitw]

remainedFields

additionalFields ? (remainedFields sounds confusing.)

u

better say spec.

Tr

Unclear what's the type of TR

returns all possible u’s neighbors

all possible neighbor specs?

[kanitw]

This ambiguity of TR types here clearly suggests that we should break down types of transitions first :)