Uses of Interface
scphEditor.IEmbedding

Uses of IEmbedding in scphEditor
 

Classes in scphEditor that implement IEmbedding
 class EmbeddingFixed
          An EmbeddingFixed object encapsulates presentation styles, in AWT terms, of an operator and its operands.
 class EmbeddingNary
          An EmbeddingNary object encapsulates presentation styles, in AWT terms, of an operator and its operands.
 

Fields in scphEditor declared as IEmbedding
protected  IEmbedding ExpressionView.myEmbedding
          The Embedding for the Operator of my expression.
 

Methods in scphEditor that return IEmbedding
 IEmbedding DefaultOperator.format()
           
 IEmbedding IOperator.format()
           
 IEmbedding Identifier.format()
           
 IEmbedding ExpressionView.getEmbedding()
          Returns the Embedding for the Operator of my Expression.
 

Constructors in scphEditor with parameters of type IEmbedding
DefaultOperator(java.lang.String id, int arityOf, int precOf, int assocOf, boolean commOf, IEmbedding format, java.lang.String[] proverName)
          Constructs an DefaultOperator object with the given properties.