Uses of Class
com.articulate.sigma.parsing.FormulaAST

Packages that use FormulaAST

Package	Description
com.articulate.sigma.parsing

Uses of FormulaAST in com.articulate.sigma.parsing

Fields in com.articulate.sigma.parsing with type parameters of type FormulaAST

Modifier and Type	Field	Description
Set<FormulaAST>	TPTPWriter.formulas
Set<FormulaAST>	SuokifVisitor.ground
Set<FormulaAST>	SuokifVisitor.hasNumber
Set<FormulaAST>	SuokifVisitor.hasPredVar
Set<FormulaAST>	SuokifVisitor.hasRowVar
static Map<String,Set<FormulaAST>>	SuokifVisitor.keys
Set<FormulaAST>	SuokifVisitor.multiplePredVar
Set<FormulaAST>	SuokifVisitor.multipleRowVar
Set<FormulaAST>	SuokifVisitor.nonRulePredRow
static Map<Integer,FormulaAST>	SuokifVisitor.result
Set<FormulaAST>	SuokifVisitor.rules

Methods in com.articulate.sigma.parsing that return FormulaAST

Modifier and Type	Method	Description
FormulaAST	VarTypes.constrainVars(String rel, String var, FormulaAST f)	Constrain variables found in the argument list of a predicate variable where the relation 'rel' will be substituted
static FormulaAST	FormulaAST.createComment(String input)	the textual version of the formula
FormulaAST	FormulaAST.mergeFormulaAST(FormulaAST f2)	Merge arguments to a predicate, which may themselves be complex formulas, with an existing formula.
FormulaAST	FormulaAST.mergeFormulaAST(List<FormulaAST> ar)	Merge arguments to a predicate, which may themselves be complex formulas, with an existing formula.
FormulaAST	SuokifVisitor.visitAndsent(com.articulate.sigma.parsing.SuokifParser.AndsentContext context)	andsent : '(' 'and' sentence sentence+ ')' ;
FormulaAST	SuokifVisitor.visitArgument(com.articulate.sigma.parsing.SuokifParser.ArgumentContext context)	argument : (sentence | term) ;
FormulaAST	SuokifVisitor.visitComment(com.articulate.sigma.parsing.SuokifParser.CommentContext context)
FormulaAST	SuokifVisitor.visitEqsent(com.articulate.sigma.parsing.SuokifParser.EqsentContext context)	eqsent : '(' 'equal' term term ')' ; argument : (sentence | term) ; term : (funterm | variable | string | number | FUNWORD | IDENTIFIER ) ;
FormulaAST	SuokifVisitor.visitExists(com.articulate.sigma.parsing.SuokifParser.ExistsContext context)	exists : '(' 'exists' '(' variable+ ')' sentence ')' ;
FormulaAST	SuokifVisitor.visitForall(com.articulate.sigma.parsing.SuokifParser.ForallContext context)	forall : '(' 'forall' '(' variable+ ')' sentence ')' ;
FormulaAST	SuokifVisitor.visitFunterm(com.articulate.sigma.parsing.SuokifParser.FuntermContext context)	funterm : '(' FUNWORD argument+ ')' ;
FormulaAST	SuokifVisitor.visitIff(com.articulate.sigma.parsing.SuokifParser.IffContext context)	iff : '(' 'invalid input: '<'=>' sentence sentence ')' ;
FormulaAST	SuokifVisitor.visitImplies(com.articulate.sigma.parsing.SuokifParser.ImpliesContext context)	implies : '(' '=>' sentence sentence ')' ;
FormulaAST	SuokifVisitor.visitLogsent(com.articulate.sigma.parsing.SuokifParser.LogsentContext context)	logsent : (notsent | andsent | orsent | xorsent | implies | iff | eqsent) ;
FormulaAST	SuokifVisitor.visitNotsent(com.articulate.sigma.parsing.SuokifParser.NotsentContext context)	notsent : '(' 'not' sentence ')' ;
FormulaAST	SuokifVisitor.visitNumber(com.articulate.sigma.parsing.SuokifParser.NumberContext context)
FormulaAST	SuokifVisitor.visitOrsent(com.articulate.sigma.parsing.SuokifParser.OrsentContext context)	orsent : '(' 'or' sentence sentence+ ')' ;
FormulaAST	SuokifVisitor.visitQuantsent(com.articulate.sigma.parsing.SuokifParser.QuantsentContext context)	quantsent : (forall | exists) ;
FormulaAST	SuokifVisitor.visitRelsent(com.articulate.sigma.parsing.SuokifParser.RelsentContext context)	relsent : ('(' IDENTIFIER argument+ ')') | ('(' variable argument+ ')') ; argument : (sentence | term) ; term : (funterm | variable | string | number | FUNWORD | IDENTIFIER ) ; Set the types of any variables that appear in an instance or subclass declaration
FormulaAST	SuokifVisitor.visitSentence(com.articulate.sigma.parsing.SuokifParser.SentenceContext context)	sentence : (relsent | logsent | quantsent | variable) ;
FormulaAST	SuokifVisitor.visitString(com.articulate.sigma.parsing.SuokifParser.StringContext context)
FormulaAST	SuokifVisitor.visitTerm(com.articulate.sigma.parsing.SuokifParser.TermContext context)	term : (funterm | variable | string | number | FUNWORD | IDENTIFIER ) ;
FormulaAST	SuokifVisitor.visitVariable(com.articulate.sigma.parsing.SuokifParser.VariableContext context)	variable : (REGVAR | ROWVAR) ;
FormulaAST	SuokifVisitor.visitXorsent(com.articulate.sigma.parsing.SuokifParser.XorsentContext context)	xorsent : '(' 'xor' sentence sentence+ ')' ;

Methods in com.articulate.sigma.parsing that return types with arguments of type FormulaAST

Modifier and Type	Method	Description
Set<FormulaAST>	RowVar.expandRowVar(FormulaAST f)
Set<FormulaAST>	RowVar.expandRowVar(Set<FormulaAST> rowvars)
Set<FormulaAST>	RowVar.expandVariableArityRowVar(Set<FormulaAST> flist, String var)
Collection<FormulaAST>	Preprocessor.preprocess(Set<FormulaAST> rowvar, Set<FormulaAST> predvar, Set<FormulaAST> rules)
Set<FormulaAST>	PredVarInst.processAll(Collection<FormulaAST> fs)
Set<FormulaAST>	PredVarInst.processOne(FormulaAST f)	Note that if there is more than one predicate variable we have to cycle through all the formulas generated for the first variable
Set<FormulaAST>	Preprocessor.reparse(Collection<FormulaAST> rules)	After preprocessing, parse the new formula string in order to set the caches correctly

Methods in com.articulate.sigma.parsing with parameters of type FormulaAST

Modifier and Type	Method	Description
String	Sortals.addSortals(FormulaAST f)	Find the most specific type constraint for each variable and create a new String of the formula with type guards
String	Sortals.addSortals(FormulaAST f, Map<String,Set<String>> types)	Add type guards to a formula by making it the consequent of a rule and making type tests into a new antecedent
void	SuokifVisitor.addToKeys(String k, FormulaAST f)
FormulaAST	VarTypes.constrainVars(String rel, String var, FormulaAST f)	Constrain variables found in the argument list of a predicate variable where the relation 'rel' will be substituted
void	Sortals.elimSubsumedTypes(FormulaAST f)	Eliminate more general types in favor of their more specific subclasses (if any)
Set<FormulaAST>	RowVar.expandRowVar(FormulaAST f)
Map<String,Integer>	RowVar.findArities(FormulaAST f)
void	VarTypes.findEquationType(FormulaAST f)	Go through the equation map of a formula.
void	VarTypes.findRelationsAsArgs(FormulaAST f)	if a relation is used as an argument, add a suffix to that constant in the literal for the constant list.
void	VarTypes.findType(FormulaAST f)	Go through the argument map of a formula, which consists of all predicates and their arguments in each position, within this formula, and find the type of that argument.
void	SuokifVisitor.generateNonRuleKeys(FormulaAST f)
void	SuokifVisitor.generateRuleKeys(FormulaAST f)
FormulaAST	FormulaAST.mergeFormulaAST(FormulaAST f2)	Merge arguments to a predicate, which may themselves be complex formulas, with an existing formula.
Set<FormulaAST>	PredVarInst.processOne(FormulaAST f)	Note that if there is more than one predicate variable we have to cycle through all the formulas generated for the first variable
void	Sortals.winnowAllTypes(FormulaAST f)	Find the most specific type constraint for each variable
String	TPTPWriter.wrappedMetaFormat(FormulaAST f)

Method parameters in com.articulate.sigma.parsing with type arguments of type FormulaAST

Modifier and Type	Method	Description
Set<FormulaAST>	RowVar.expandRowVar(Set<FormulaAST> rowvars)
Set<FormulaAST>	RowVar.expandVariableArityRowVar(Set<FormulaAST> flist, String var)
FormulaAST	FormulaAST.mergeFormulaAST(List<FormulaAST> ar)	Merge arguments to a predicate, which may themselves be complex formulas, with an existing formula.
Collection<FormulaAST>	Preprocessor.preprocess(Set<FormulaAST> rowvar, Set<FormulaAST> predvar, Set<FormulaAST> rules)
Set<FormulaAST>	PredVarInst.processAll(Collection<FormulaAST> fs)
Set<FormulaAST>	Preprocessor.reparse(Collection<FormulaAST> rules)	After preprocessing, parse the new formula string in order to set the caches correctly

Constructors in com.articulate.sigma.parsing with parameters of type FormulaAST

Modifier	Constructor	Description
	FormulaAST(FormulaAST f)

Constructor parameters in com.articulate.sigma.parsing with type arguments of type FormulaAST

Modifier	Constructor	Description
	VarTypes(Collection<FormulaAST> set, KB kbinput)