Package com.articulate.sigma.parsing

Class RowVar

java.lang.Object

com.articulate.sigma.parsing.RowVar

public class RowVar
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
boolean	debug
KB	kb

Constructor Summary

Constructors

Constructor	Description
RowVar(KB kbin)

Method Summary

Modifier and Type	Method	Description
Set<FormulaAST>	expandRowVar(FormulaAST f)
Set<FormulaAST>	expandRowVar(Set<FormulaAST> rowvars)
Set<FormulaAST>	expandVariableArityRowVar(Set<FormulaAST> flist, String var)
Map<String,Integer>	findArities(FormulaAST f)
List<String>	getVarSubStrings(String var)

Methods inherited from class java.lang.Object

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

Field Details

kb

public KB kb

debug

public boolean debug

Constructor Details

RowVar

public RowVar(KB kbin)

Method Details

getVarSubStrings

public List<String> getVarSubStrings(String var)

expandVariableArityRowVar

public Set<FormulaAST> expandVariableArityRowVar(Set<FormulaAST> flist,
 String var)

findArities

public Map<String,Integer> findArities(FormulaAST f)

Returns:

arities implied on every row var by their relations and arguments. if the pred var is only an argument to variable arity relations, return -1

expandRowVar

public Set<FormulaAST> expandRowVar(FormulaAST f)

Returns:

a HashSet of FormulaAST. If just one row variable is an argument to a fixed arity relation, then there will be just one element in the returned set. But if there one or more row variables are arguments to VariableArityRelations then there will be multiple returned formulas

expandRowVar

public Set<FormulaAST> expandRowVar(Set<FormulaAST> rowvars)