Abstract Voice-Leading Space Builder
After Morris (1998) — enter two pcsets and permissible intervals to check connectivity
Set A (source)
Pitch-class set
Set B (target)
Pitch-class set
Permissible pitch-class intervals (pci)
Based on: Robert D. Morris, "Voice-Leading Spaces," Music Theory Spectrum 20/2 (1998): 175–208.
T-matrix algorithm (§ Constructing Voice-Leading Spaces, pp. 203–205); voice-leading restrictions R1–R3 and definitive VL (pp. 178–180).