Package com.articulate.sigma.parsing

Class FormulaAST

java.lang.Object

com.articulate.sigma.Formula

com.articulate.sigma.parsing.FormulaAST

All Implemented Interfaces:

Serializable, Comparable

public class FormulaAST
extends Formula

See Also:

• Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
class	FormulaAST.ArgStruct	A class for holding information about constants (non-variables) and the literal in which they appear
class	FormulaAST.RowStruct	A class for holding information about row variables and the literal in which they appear

Field Summary

Fields

Modifier and Type	Field	Description
Set<String>	antecedentTerms
Map<String,Map<Integer,Set<com.articulate.sigma.parsing.SuokifParser.ArgumentContext>>>	argMap
Set<String>	consequentTerms
Map<String,FormulaAST.ArgStruct>	constants
boolean	containsNumber
List<List<com.articulate.sigma.parsing.SuokifParser.TermContext>>	eqList
Map<String,Set<String>>	explicitTypes
boolean	isDoc
boolean	isRule
com.articulate.sigma.parsing.SuokifParser.SentenceContext	parsedFormula
Set<org.antlr.v4.runtime.ParserRuleContext>	rowvarLiterals
Map<String,Set<FormulaAST.RowStruct>>	rowVarStructs
String	strForm
Map<String,Set<String>>	varTypes

Fields inherited from class com.articulate.sigma.Formula

allVarsCache, allVarsPairCache, AND, args, CEILINGFN, CLASS_SYMBOL_SUFFIX, comment, COMPARISON_OPERATORS, debug, DEFN_PREDICATES, derivation, DIVIDEFN, DOC_PREDICATES, endFilePosition, endLine, EQUAL, EQUANT, errors, existVarsCache, FLOORFN, FN_SUFF, GT, GTET, higherOrder, IF, IFF, INEQUALITIES, isFunctional, isGround, isTFF, KAPPAFN, LOG_FALSE, LOG_TRUE, LOGICAL_OPERATORS, LP, LT, LTET, MATH_FUNCTIONS, MAX_PREDICATE_ARITY, MINUSFN, NOT, OR, PLUSFN, predVarCache, qlist, quantVarsCache, R_PREF, relation, REMAINDERFN, ROUNDFN, rowVarCache, RP, RVAR, simpleClause, SK_PREF, SKFN, sourceFile, SPACE, startLine, stringArgs, TERM_MENTION_SUFFIX, TERM_SYMBOL_PREFIX, TERM_VARIABLE_PREFIX, termCache, tffSorts, theFofFormulas, theTffFormulas, theTptpFormulas, TIMESFN, univVarsCache, unquantVarsCache, UQUANT, V_PREF, varTypeCache, VVAR, VX, warnings, XOR

Constructor Summary

Constructors

Constructor	Description
FormulaAST()
FormulaAST(FormulaAST f)

Method Summary

Modifier and Type	Method	Description
void	addRowVarStruct(String var, FormulaAST.RowStruct rs)
static FormulaAST	createComment(String input)	the textual version of the formula
FormulaAST	mergeFormulaAST(FormulaAST f2)	Merge arguments to a predicate, which may themselves be complex formulas, with an existing formula.
FormulaAST	mergeFormulaAST(List<FormulaAST> ar)	Merge arguments to a predicate, which may themselves be complex formulas, with an existing formula.
void	printCaches()	the textual version of the formula

Methods inherited from class com.articulate.sigma.Formula

addAllNoDup, append, argumentsToArrayList, argumentsToArrayListString, atom, atom, badQuantification, caddr, cadr, car, carAsFormula, cddr, cddrAsFormula, cdr, cdrAsFormula, clearTheClausalForm, collectAllVariables, collectAllVariablesOrdered, collectQuantifiedUnquantifiedVariablesRecurse, collectQuantifiedVariables, collectTerms, collectUnquantifiedVariables, collectVariables, compareTo, complexArgumentsToArrayList, complexArgumentsToArrayListString, cons, cons, copy, createID, deepCopy, deepEquals, empty, empty, equals, equals, findType, format, gatherRelationConstants, gatherRelationsWithArgTypes, getArgument, getClauses, getDualOperator, getErrors, getFormula, getLineNumber, getSourceFile, getStringArgument, getTheClausalForm, getTheTptpFormulas, getVarMap, getVarType, getVarTypes, hashCode, htmlFormat, htmlFormat, isBalancedList, isBinary, isCached, isCommutative, isComparisonOperator, isEpistemic, isExistentiallyQuantified, isFunction, isFunctionalTerm, isFunctionalTerm, isGround, isGround, isHigherOrder, isHorn, isInequality, isLogicalOperator, isMathFunction, isModal, isNegatedQuery, isOtherHOL, isQuantifier, isQuantifierList, isQuery, isRegularVariable, isRowVar, isRule, isSimpleClause, isSimpleNegatedClause, isSkolemTerm, isTemporal, isTerm, isTFF, isTrueFalse, isUniversallyQuantified, isVariable, isVariable, listLength, listP, listP, literalToArrayList, logicallyEquals, logicallyEquals, main, makeQuantifiersExplicit, mapFormulaVariables, negate, postProcess, read, removeTemporalRelations, rename, renameVariableArityRelations, replaceQuantifierVars, replaceVar, setFormula, setSourceFile, showHelp, substituteVariables, testArg2ArrayList, testBigArgs, testCar1, testCollectVariables, testComplexArgs, testIsSimpleClause, testReplaceVar, textFormat, toProlog, toString, toStringMeta, unifyWith, validArgs, validArgs

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Details

argMap

public Map<String,Map<Integer,Set<com.articulate.sigma.parsing.SuokifParser.ArgumentContext>>> argMap

eqList

public List<List<com.articulate.sigma.parsing.SuokifParser.TermContext>> eqList

explicitTypes

public Map<String,Set<String>> explicitTypes

varTypes

public Map<String,Set<String>> varTypes

rowvarLiterals

public Set<org.antlr.v4.runtime.ParserRuleContext> rowvarLiterals

constants

public Map<String,FormulaAST.ArgStruct> constants

rowVarStructs

public Map<String,Set<FormulaAST.RowStruct>> rowVarStructs

parsedFormula

public com.articulate.sigma.parsing.SuokifParser.SentenceContext parsedFormula

isDoc

public boolean isDoc

isRule

public boolean isRule

containsNumber

public boolean containsNumber

antecedentTerms

public Set<String> antecedentTerms

consequentTerms

public Set<String> consequentTerms

strForm

public String strForm

Constructor Details

FormulaAST

public FormulaAST()

FormulaAST

public FormulaAST(FormulaAST f)

Method Details

mergeFormulaAST

public FormulaAST mergeFormulaAST(FormulaAST f2)

Merge arguments to a predicate, which may themselves be complex formulas, with an existing formula.

mergeFormulaAST

public FormulaAST mergeFormulaAST(List<FormulaAST> ar)

Merge arguments to a predicate, which may themselves be complex formulas, with an existing formula.

addRowVarStruct

public void addRowVarStruct(String var,
 FormulaAST.RowStruct rs)

createComment

public static FormulaAST createComment(String input)

the textual version of the formula

printCaches

public void printCaches()

the textual version of the formula

Overrides:

printCaches in class Formula