com.evelopers.unimod.analysis
Class DistributiveBrackets

java.lang.Object
  com.evelopers.unimod.analysis.DistributiveBrackets

class DistributiveBrackets

extends java.lang.Object

Takes AST representing conjunction of literals and disjunctions of terms. Returns AST representing disjunction of terms.

Constructor Summary

DistributiveBrackets(antlr.ASTFactory astFactory)

Method Summary

void	and(antlr.collections.AST ast)
antlr.collections.AST	getAST()

Methods inherited from class java.lang.Object

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

Constructor Detail

DistributiveBrackets

public DistributiveBrackets(antlr.ASTFactory astFactory)

Method Detail

and

public void and(antlr.collections.AST ast)

getAST

public antlr.collections.AST getAST()