parser.absconparseur.intension
Class PredicateManager
java.lang.Object
parser.absconparseur.intension.PredicateManager
public class PredicateManager
- extends Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
PredicateManager
public PredicateManager()
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.