parser.absconparseur.intension
Class PredicateManager

java.lang.Object
  extended by parser.absconparseur.intension.PredicateManager

public class PredicateManager
extends Object


Constructor Summary
PredicateManager()
           
 
Method Summary
static String buildFunctionalExpression(String postfixExpression)
           
static String buildFunctionalExpression(String[] postfixExpression)
           
static String[] buildNewUniversalPostfixExpression(String[] universalPostfixExpression, String effectiveParametersExpression, String[] variableNames)
           
static String[] buildUniversalPostfixExpression(String functionalExpression, String formalParametersExpression)
           
static String[] buildUniversalPostfixExpression(String functionalExpression, String[] formalParameters)
           
static String[] extractFormalParameters(String formalParametersExpression)
           
static String[] extractFormalParameters(String formalParametersExpression, boolean controlRedundancy)
           
static String[] extractUniversalEffectiveParameters(String effectiveParametersExpression, String[] variableNames)
           
static void modifyPredicateOrder(int[] permutation, String[] predicate)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PredicateManager

public PredicateManager()
Method Detail

buildFunctionalExpression

public static String buildFunctionalExpression(String[] postfixExpression)

buildFunctionalExpression

public static String buildFunctionalExpression(String postfixExpression)

extractFormalParameters

public static String[] extractFormalParameters(String formalParametersExpression,
                                               boolean controlRedundancy)

extractFormalParameters

public static String[] extractFormalParameters(String formalParametersExpression)

extractUniversalEffectiveParameters

public static String[] extractUniversalEffectiveParameters(String effectiveParametersExpression,
                                                           String[] variableNames)

buildUniversalPostfixExpression

public static String[] buildUniversalPostfixExpression(String functionalExpression,
                                                       String[] formalParameters)

buildUniversalPostfixExpression

public static String[] buildUniversalPostfixExpression(String functionalExpression,
                                                       String formalParametersExpression)

buildNewUniversalPostfixExpression

public static String[] buildNewUniversalPostfixExpression(String[] universalPostfixExpression,
                                                          String effectiveParametersExpression,
                                                          String[] variableNames)

modifyPredicateOrder

public static void modifyPredicateOrder(int[] permutation,
                                        String[] predicate)


Copyright © 2012. All Rights Reserved.