using libsemtd;

namespace libbacktrack
{
    public partial class Backtrack
    {
        private bool[] labelVerUsed;
        private bool isProcessing;
        private bool isSemt;
        private bool isRecurseAll;
        private string result;
        private int firstLabel,pathStart,pathEnd,pathLabel;
        private Semtd myGraph;
    }
}