org.colomoto.biolqm.io.antlr

Class ExpressionStack

java.lang.Object

org.colomoto.biolqm.io.antlr.ExpressionStack

public class ExpressionStack
extends Object

Stack to reconstruct a parsed logical expression. This takes a series of "signal" denoting operands and operators (sent by the parser) and constructs a proper logical function tree from it. It handles the shared parts of function parsing from different formats.

Author:

Aurelien Naldi

Constructor Summary

Constructors

Constructor and Description
ExpressionStack(org.colomoto.mddlib.logicalfunction.OperandFactory operandFactory)

Method Summary

Modifier and Type	Method and Description
void	clear()
static LogicalModel	constructModel(org.colomoto.mddlib.logicalfunction.OperandFactory operandFactory, List<NodeInfo> nodes, Map<NodeInfo,org.colomoto.mddlib.logicalfunction.FunctionNode> var2function) Build a LogicalModel from a list of nodes and parsed functions.
static LogicalModel	constructMVModel(org.colomoto.mddlib.logicalfunction.OperandFactory operandFactory, List<NodeInfo> nodes, Map<NodeInfo,List<Assignment>> var2assign)
org.colomoto.mddlib.logicalfunction.FunctionNode	done()
void	ident(String name)
void	ident(String name, int threshold)
void	not()
void	operator(Operator op)
void	value(Value v)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ExpressionStack

public ExpressionStack(org.colomoto.mddlib.logicalfunction.OperandFactory operandFactory)

Method Detail

constructModel

public static LogicalModel constructModel(org.colomoto.mddlib.logicalfunction.OperandFactory operandFactory,
                                          List<NodeInfo> nodes,
                                          Map<NodeInfo,org.colomoto.mddlib.logicalfunction.FunctionNode> var2function)

Build a LogicalModel from a list of nodes and parsed functions. This method should be shared between parsers!

Parameters:

operandFactory - factory providing the MDD manager and operands for these nodes

nodes - the list of nodes

var2function - the parsed function for each node

Returns:

the corresponding logical model

constructMVModel

public static LogicalModel constructMVModel(org.colomoto.mddlib.logicalfunction.OperandFactory operandFactory,
                                            List<NodeInfo> nodes,
                                            Map<NodeInfo,List<Assignment>> var2assign)

operator

public void operator(Operator op)

not

public void not()

value

public void value(Value v)

ident

public void ident(String name)

ident

public void ident(String name,
                  int threshold)

done

public org.colomoto.mddlib.logicalfunction.FunctionNode done()

clear

public void clear()