code: function () {
              if (vm.inputText == "" || tokenizer == null) {
                  vm.tokens = [];
                  // lattice = null;
                  return;
              }
              try {
                  // lattice = tokenizer.getLattice(vm.inputText);
                  vm.tokens = tokenizer.tokenize(vm.inputText);
              } catch (e) {
                  console.log(e);
                  // lattice = null;
                  vm.tokens = [];
              }
          }
docs: /*
  drawGraph: function () {
  if (lattice != null) {
  drawLattice();
  vm.svgStyle = "visible";
  }
  },