Package ket.math

Examples of ket.math.Argument

96
97
98
99
100
101
102
103
104
105
106
107
    Function commonFunction = args.firstElement().getFunction();
    if (commonFunction==null) {
      return null;
    }
    for (int i=1; i<args.size(); i++) {
      Argument next = args.get(i);
      Function function = next.getFunction();
      if (commonFunction!=function) {
        return null;
      }
    }
    return commonFunction;
View Full Code Here
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
   */
  public static int getCommonSize(Vector<Argument> args) {
    if (args.size()==0) {
      return -1;
    }
    Argument first = args.firstElement();
    if (first instanceof Token) {
      return -1;
    }
    int commonSize = first.asBranch().size();
    for (int i=1; i<args.size(); i++) {
      Argument next = args.get(i);
      if (next instanceof Token) {
        return -1;
      }
      int size = next.asBranch().size();
      if (size!=commonSize) {
        return -1;
      }
    }
    return commonSize;
View Full Code Here
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
    Argument[] pair = Like.equalPairLike(identity);
    if (pair==null) { // c
      return null;
    }
    // The identity is of the form "pair[0] = pair[1]".
    Argument pattern = pair[0];
    Argument expansion = pair[1];
    // In practice, an indentity may appear using different letters
    // and even numbers.  Find the cypher to map from 'pattern' to
    // 'target' and apply the cypher to 'expansion'.
    IdentityHashMap<Token, Token> cypher = pattern.cypherEquals(target);
    if (cypher==null) {
      return null;
    }
    for (Token t : cypher.keySet()) {
    }
    Argument result = Like.substitute(expansion, convertToArgumentMap(cypher));
    return result;
  }
View Full Code Here
157
158
159
160
161
162
163
164
    toolBar.add(symbolicFunctions);
  }

  private Argument cloneCurrentRoot() { // TODO: Use this here and in normal responder.
    Equation currentEquation = document.getCursor().getEquation();
    Argument root = currentEquation.getRoot();
    return Argument.cloneArgument(root);
  }
View Full Code Here
158
159
160
161
162
163
164
165
166
167
168
169
170
171
    // current -> {family}
    //- int count = 0;
    JPanel panel = null;
    //- for (Argument a : family) {
    for (int count=0; count<family.size(); count++) {
      Argument a = family.get(count);
      int i = count / columns;
      int j = count % columns;
      Box box = a.toBox(0L, document.getColourScheme());
      box.setup(Box.DEFAULT_BOX_FONT_SIZE, new Offset(20, 20)); // Use a fixed icon size?
      BufferedImage image = ImageTools.paintInnerBoxToImage(box, false, document.getColourScheme());
      JButton button = new JButton();
      button.setIcon(new ImageIcon(image));
      //> button.setRolloverIcon(new ImageIcon()); // Highlighted or bold version?
View Full Code Here
241
242
243
244
245
246
247
248
249
250
251
    boolean ctrl = (modifier&InputEvent.CTRL_MASK) == InputEvent.CTRL_MASK;
    if ((codeNumber==KeyEvent.VK_C && ctrl) || codeNumber==KeyEvent.VK_ESCAPE) {
      Ket.out.println("[cancel]");
      done();
    }
    Argument selected = button2Arg.get((JButton) getFocusOwner()); // selected -> arg.
    if (selected==null) {
      Ket.out.println("[unknown selection]");
      return;
    }
    Index index = argument2Index.get(selected);
View Full Code Here
103
104
105
106
107
108
109
110
111
112
113
    } else if (source==mUndo) {
      getMathCollection().undo();
    } else if (source==mOut) {
      getDeleteMode().deleteParent();
    } else if (source==mClone) {
      Argument clone = Argument.cloneArgument(getCurrent());
      getSelection().appendEquation(new Equation(clone));
    } else if (source==mCut) {
      getDeleteMode().remove();
    } else if (source==mCompositon) {
      getAddMode().appendPurpose(chord);
View Full Code Here
TOP

Related Classes of ket.math.Argument

  • Buttons
  • ket.display.box.Box
  • ket.display.box.BoxFactory
  • ket.display.box.BoxWord
  • ket.math.ArgumentFactory
  • ket.math.ArgumentTools
  • ketUI.Album
  • ketUI.KetTransfer
  • ketUI.MouseMenuFrame
  • ketUI.responder.EchoResponder$Presentation
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.