A B C D E F G H I K L M N O P R S T V W Y Z

G

get(int) - Method in class org.xmloperator.lambda2.net.impl.StackImpl
 
get(int) - Method in interface org.xmloperator.lambda2.net.model.Stack
Returns the object of this stack with the given index.
getArgument() - Method in class org.xmloperator.lambda2.term.impl.Application1Impl
 
getArgument() - Method in interface org.xmloperator.lambda2.term.model.Application
Returns the argument of this Application.
getAuxiliaryPort() - Method in class org.xmloperator.lambda2.net.impl.WireCellImpl
 
getAuxiliaryPort() - Method in interface org.xmloperator.lambda2.net.model.WireCell
Returns the auxiliary Port of this wire Cell.
getBody() - Method in class org.xmloperator.lambda2.term.impl.Abstraction0Impl
 
getBody() - Method in interface org.xmloperator.lambda2.term.model.Abstraction
Returns the body of this Abstraction.
getBodyPort() - Method in class org.xmloperator.lambda2.net.impl.PentaryMultiplexorImpl
 
getBodyPort() - Method in interface org.xmloperator.lambda2.net.model.PentaryMultiplexor
Returns the body Port of this (de-)multiplexor.
getBodySupport() - Method in class org.xmloperator.lambda2.net.impl.LambdaNetImpl
 
getBodySupport() - Method in interface org.xmloperator.lambda2.net.model.LambdaNet
Returns the free Port that supports the interaction-net body.
getBoundVariable(int) - Method in class org.xmloperator.lambda2.term.impl.Abstraction0Impl
 
getBoundVariable(int) - Method in class org.xmloperator.lambda2.term.impl.Abstraction1Impl
 
getBoundVariable(int) - Method in class org.xmloperator.lambda2.term.impl.AbstractionNImpl
 
getBoundVariable(int) - Method in interface org.xmloperator.lambda2.term.model.Abstraction
Returns the bound Variable of this Abstraction, with the given index.
getBoundVariableCount() - Method in class org.xmloperator.lambda2.term.impl.Abstraction0Impl
 
getBoundVariableCount() - Method in class org.xmloperator.lambda2.term.impl.Abstraction1Impl
 
getBoundVariableCount() - Method in class org.xmloperator.lambda2.term.impl.AbstractionNImpl
 
getBoundVariableCount() - Method in interface org.xmloperator.lambda2.term.model.Abstraction
Returns the count of linear bound variables of this Abstraction.
getCell() - Method in class org.xmloperator.lambda2.net.impl.PortImpl
 
getCell() - Method in interface org.xmloperator.lambda2.net.model.Port
Returns the Cell to which this port belongs to or null if this Port is free.
getConnectedPort() - Method in class org.xmloperator.lambda2.net.impl.PortImpl
 
getConnectedPort() - Method in interface org.xmloperator.lambda2.net.model.Port
Returns the Port to which this one is connected or null if it is not connected.
getDuplicatorPort0() - Method in class org.xmloperator.lambda2.net.impl.PentaryMultiplexorImpl
 
getDuplicatorPort0() - Method in interface org.xmloperator.lambda2.net.model.PentaryMultiplexor
Returns the Port of this (de-)multiplexor that maps to the Port 0 of a duplicator.
getDuplicatorPort1() - Method in class org.xmloperator.lambda2.net.impl.PentaryMultiplexorImpl
 
getDuplicatorPort1() - Method in interface org.xmloperator.lambda2.net.model.PentaryMultiplexor
Returns the Port of this (de-)multiplexor that maps to the Port 1 of a duplicator.
getDuplicatorPort2() - Method in class org.xmloperator.lambda2.net.impl.PentaryMultiplexorImpl
 
getDuplicatorPort2() - Method in interface org.xmloperator.lambda2.net.model.PentaryMultiplexor
Returns the Port of this (de-)multiplexor that maps to the Port 2 of a duplicator.
getFreeVariableCount() - Method in class org.xmloperator.lambda2.net.impl.LambdaNetImpl
 
getFreeVariableCount() - Method in interface org.xmloperator.lambda2.net.model.LambdaNet
Returns the count of free variables.
getFunction() - Method in class org.xmloperator.lambda2.term.impl.Application1Impl
 
getFunction() - Method in interface org.xmloperator.lambda2.term.model.Application
Returns the function of this Application.
getFunctionExponent() - Method in class org.xmloperator.lambda2.term.impl.Application1Impl
 
getFunctionExponent() - Method in class org.xmloperator.lambda2.term.impl.ApplicationNImpl
 
getFunctionExponent() - Method in interface org.xmloperator.lambda2.term.model.Application
Returns the function exponent.
getIndex() - Method in class org.xmloperator.lambda2.net.impl.DecoderImpl
 
getIndex() - Method in interface org.xmloperator.lambda2.net.model.Decoder
Returns the index attached to this Decoder.
getPort(int) - Method in class org.xmloperator.lambda2.net.impl.BinaryCellImpl
 
getPort(int) - Method in class org.xmloperator.lambda2.net.impl.DecoderImpl
 
getPort(int) - Method in class org.xmloperator.lambda2.net.impl.EraserCellImpl
 
getPort(int) - Method in class org.xmloperator.lambda2.net.impl.PentaryMultiplexorImpl
 
getPort(int) - Method in class org.xmloperator.lambda2.net.impl.WireCellImpl
 
getPort(int) - Method in interface org.xmloperator.lambda2.net.model.Cell
Returns the port with the given number.
getPort1() - Method in class org.xmloperator.lambda2.net.impl.BinaryCellImpl
 
getPort1() - Method in interface org.xmloperator.lambda2.net.model.BinaryCell
Returns the first auxiliary Port of this Cell.
getPort2() - Method in class org.xmloperator.lambda2.net.impl.BinaryCellImpl
 
getPort2() - Method in interface org.xmloperator.lambda2.net.model.BinaryCell
Returns the second auxiliary Port of this Cell.
getPortNumber() - Method in class org.xmloperator.lambda2.net.impl.PortImpl
 
getPortNumber() - Method in interface org.xmloperator.lambda2.net.model.Port
Returns the number of this port.
getPrincipalPort() - Method in class org.xmloperator.lambda2.net.impl.CellImpl
 
getPrincipalPort() - Method in interface org.xmloperator.lambda2.net.model.Cell
Returns the principal port of this cell.
getSequenceCount() - Method in class org.xmloperator.lambda2.net.impl.DecoderImpl
 
getSequenceCount() - Method in interface org.xmloperator.lambda2.net.model.Decoder
Returns the sequence count of this unary Decoder.
getSymbol() - Method in class org.xmloperator.lambda2.net.impl.BinaryCellImpl
 
getSymbol() - Method in class org.xmloperator.lambda2.net.impl.DecoderImpl
 
getSymbol() - Method in class org.xmloperator.lambda2.net.impl.EraserCellImpl
 
getSymbol() - Method in class org.xmloperator.lambda2.net.impl.PentaryMultiplexorImpl
 
getSymbol() - Method in class org.xmloperator.lambda2.net.impl.WireCellImpl
 
getSymbol() - Method in interface org.xmloperator.lambda2.net.model.Cell
Returns the Symbol SYMBOL_* of this cell.
getSymbolArity() - Method in class org.xmloperator.lambda2.net.impl.BinaryCellImpl
 
getSymbolArity() - Method in class org.xmloperator.lambda2.net.impl.DecoderImpl
 
getSymbolArity() - Method in class org.xmloperator.lambda2.net.impl.EraserCellImpl
 
getSymbolArity() - Method in class org.xmloperator.lambda2.net.impl.PentaryMultiplexorImpl
 
getSymbolArity() - Method in class org.xmloperator.lambda2.net.impl.WireCellImpl
 
getSymbolArity() - Method in interface org.xmloperator.lambda2.net.model.Cell
Returns the symbol arity of this Cell.
getTermType() - Method in class org.xmloperator.lambda2.term.impl.Abstraction0Impl
 
getTermType() - Method in class org.xmloperator.lambda2.term.impl.Application1Impl
 
getTermType() - Method in class org.xmloperator.lambda2.term.impl.VariableImpl
 
getTermType() - Method in interface org.xmloperator.lambda2.term.model.Term
Returns the type of this term.
getVariablePort() - Method in class org.xmloperator.lambda2.net.impl.PentaryMultiplexorImpl
 
getVariablePort() - Method in interface org.xmloperator.lambda2.net.model.PentaryMultiplexor
Returns the variable Port of this (de-)multiplexor.

A B C D E F G H I K L M N O P R S T V W Y Z