rules
Class Lang

java.lang.Object
  rules.Lang

public class Lang

extends java.lang.Object

Field Summary

static java.lang.String	cVarName
static boolean	ppddlStyle
static boolean	typePreds
static boolean	warning

Constructor Summary

Lang()

Lang(java.util.List cList, java.util.List fList, java.util.List sfList, java.util.List pList, java.util.List aList, TypeSet t)

Lang(java.lang.String input, TypeSet t)

Lang(java.lang.String input, TypeSet t, boolean fillThings)

Method Summary

void	addConcept(Concept c)
void	addConcept(Pred p, java.util.List vs, Formula f)
void	addConcepts(java.util.List l)
void	addFunConcept(FunConcept fc)
void	addFunConcepts(java.util.List l)
java.util.List	allPossActions()
java.util.List	allPossActions(java.util.Set vars, boolean constants, boolean variables)
java.util.List	allPossArgs(Funct f)
java.util.List	allPossArgs(Funct f, java.util.Set vars, boolean constants, boolean variables, boolean newV)
java.util.List	allPossArgs(Pred p)
java.util.List	allPossArgs(Pred p, java.util.Set vars, boolean constants, boolean variables, boolean newV)
java.util.List	allPossLitTypes(java.util.Set vars, boolean constants, boolean variables, boolean newVars)
java.util.List	allPossSubs(java.util.List vars)
java.util.List	allPossSubs(PLit lit)
java.util.List	buildConjConcepts(Lit l, Lit l2, int op)
java.util.List	buildConjConceptsWFun(PLit l, FLit l2, int op)
java.util.List	buildConjConceptsWPreds(PLit l, PLit l2, int op)
Concept	buildPlusConcept(PLit l)
Concept	buildQuantConcept(PLit l, int quant, int pos)
Concept	buildQuantConcept1(PLit l, int quant)
Concept	buildQuantConceptWithFun1(FLit fl, int quant)
Concept	buildStarConcept(PLit l)
Var	conceptVar(Lit concept)
int	countUpLits()
Term	defaultFnValue(Funct f)
void	fillConHash()
FLit	fLitNeeded(Pred p)
java.util.Set	funsNeeded(Funct f)
java.util.Set	funsNeeded(Pred p)
Subs	generalSubs()
Subs	generalSubs(Args as)
Var	generalVar(Const c)
Pred	getAction(java.lang.String name)
java.util.List	getActs()
java.util.List	getAllConceptFLits()
java.util.List	getAllConceptFuns()
java.util.List	getAllConceptPreds()
java.util.List	getAllFuns()
java.util.List	getAllPreds()
FunConcept	getConcept(Funct p)
Concept	getConcept(Pred p)
java.util.List	getConceptPreds(java.util.List l)
java.util.List	getConcepts()
Const	getConst(java.lang.String name)
java.util.List	getConsts()
java.util.List	getConsts(Type t)
Formula	getFormula(Pred p)
java.util.List	getFunConcepts()
Funct	getFunct(java.lang.String name)
Funct	getFunct(java.lang.String name, int arity)
java.util.List	getFuns()
int	getNumLits()
Pred	getPred(Funct p)
Pred	getPred(java.lang.String name)
Pred	getPred(java.lang.String name, int arity)
java.util.List	getPreds()
Const	getRandomConst(Type t, java.util.Random r)
java.util.List	getSFuns()
java.util.List	getTypedConsts(Type t)
Type	getTypeOf(java.lang.String name)
TypeSet	getTypes()
TypeSet	getTypeSet()
boolean	isStarPlus(PLit l)
boolean	isTypePred(Pred p)
java.util.Set	litsNeeded(Funct f)
java.util.Set	litsNeeded(Pred p)
static void	main(java.lang.String[] args)
static Lang	makeLangFromFile(java.lang.String filename, TypeSet t)
static Type	matchType(Type t, Type t2)
java.util.Set	neededVars(Lit concept)
int	numAct()
int	numConst()
int	numFunct()
int	numPred()
int	numTypedConsts(Type t)
int	numTypes()
java.util.List	possCountFuns(java.util.List litList)
java.util.List	possNewConcepts(java.util.List conceptBuildList)
java.util.List	possOutcomePicks()
java.util.List	possOutcomePicks(java.util.Set variables)
java.util.List	possOutcomes(java.util.Set variables)
java.util.Set	predsNeeded(Funct f)
java.util.Set	predsNeeded(Pred p)
void	pruneConcepts(java.util.Set predsUsed, java.util.Set funsUsed)
Action	randomAction(java.lang.String name, java.util.Random r)
void	resetConcepts()
void	saveToFile(java.lang.String filename)
void	setFunctDefaults()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

cVarName

public static java.lang.String cVarName

typePreds

public static boolean typePreds

warning

public static boolean warning

ppddlStyle

public static boolean ppddlStyle

Constructor Detail

Lang

public Lang()

Lang

public Lang(java.lang.String input,
            TypeSet t)

Lang

public Lang(java.lang.String input,
            TypeSet t,
            boolean fillThings)

Lang

public Lang(java.util.List cList,
            java.util.List fList,
            java.util.List sfList,
            java.util.List pList,
            java.util.List aList,
            TypeSet t)

Method Detail

makeLangFromFile

public static Lang makeLangFromFile(java.lang.String filename,
                                    TypeSet t)

getAction

public Pred getAction(java.lang.String name)

getPred

public Pred getPred(java.lang.String name)

getPred

public Pred getPred(java.lang.String name,
                    int arity)

getFormula

public Formula getFormula(Pred p)

getConcept

public Concept getConcept(Pred p)

getPred

public Pred getPred(Funct p)

getConcept

public FunConcept getConcept(Funct p)

litsNeeded

public java.util.Set litsNeeded(Funct f)

litsNeeded

public java.util.Set litsNeeded(Pred p)

predsNeeded

public java.util.Set predsNeeded(Pred p)

predsNeeded

public java.util.Set predsNeeded(Funct f)

funsNeeded

public java.util.Set funsNeeded(Pred p)

funsNeeded

public java.util.Set funsNeeded(Funct f)

fLitNeeded

public FLit fLitNeeded(Pred p)

isStarPlus

public boolean isStarPlus(PLit l)

getFunct

public Funct getFunct(java.lang.String name)

getFunct

public Funct getFunct(java.lang.String name,
                      int arity)

getConst

public Const getConst(java.lang.String name)

isTypePred

public boolean isTypePred(Pred p)

generalSubs

public Subs generalSubs()

generalSubs

public Subs generalSubs(Args as)

generalVar

public Var generalVar(Const c)

getTypeOf

public Type getTypeOf(java.lang.String name)

fillConHash

public void fillConHash()

setFunctDefaults

public void setFunctDefaults()

getTypedConsts

public java.util.List getTypedConsts(Type t)

numTypedConsts

public int numTypedConsts(Type t)

randomAction

public Action randomAction(java.lang.String name,
                           java.util.Random r)

allPossActions

public java.util.List allPossActions()

allPossActions

public java.util.List allPossActions(java.util.Set vars,
                                     boolean constants,
                                     boolean variables)

countUpLits

public int countUpLits()

allPossLitTypes

public java.util.List allPossLitTypes(java.util.Set vars,
                                      boolean constants,
                                      boolean variables,
                                      boolean newVars)

allPossArgs

public java.util.List allPossArgs(Pred p)

allPossArgs

public java.util.List allPossArgs(Funct f)

allPossArgs

public java.util.List allPossArgs(Funct f,
                                  java.util.Set vars,
                                  boolean constants,
                                  boolean variables,
                                  boolean newV)

allPossArgs

public java.util.List allPossArgs(Pred p,
                                  java.util.Set vars,
                                  boolean constants,
                                  boolean variables,
                                  boolean newV)

allPossSubs

public java.util.List allPossSubs(PLit lit)

allPossSubs

public java.util.List allPossSubs(java.util.List vars)

neededVars

public java.util.Set neededVars(Lit concept)

conceptVar

public Var conceptVar(Lit concept)

possNewConcepts

public java.util.List possNewConcepts(java.util.List conceptBuildList)

buildQuantConceptWithFun1

public Concept buildQuantConceptWithFun1(FLit fl,
                                         int quant)

buildQuantConcept1

public Concept buildQuantConcept1(PLit l,
                                  int quant)

buildQuantConcept

public Concept buildQuantConcept(PLit l,
                                 int quant,
                                 int pos)

buildStarConcept

public Concept buildStarConcept(PLit l)

buildPlusConcept

public Concept buildPlusConcept(PLit l)

buildConjConcepts

public java.util.List buildConjConcepts(Lit l,
                                        Lit l2,
                                        int op)

buildConjConceptsWPreds

public java.util.List buildConjConceptsWPreds(PLit l,
                                              PLit l2,
                                              int op)

buildConjConceptsWFun

public java.util.List buildConjConceptsWFun(PLit l,
                                            FLit l2,
                                            int op)

matchType

public static Type matchType(Type t,
                             Type t2)

possCountFuns

public java.util.List possCountFuns(java.util.List litList)

pruneConcepts

public void pruneConcepts(java.util.Set predsUsed,
                          java.util.Set funsUsed)

possOutcomePicks

public java.util.List possOutcomePicks(java.util.Set variables)

possOutcomes

public java.util.List possOutcomes(java.util.Set variables)

possOutcomePicks

public java.util.List possOutcomePicks()

numAct

public int numAct()

numConst

public int numConst()

numFunct

public int numFunct()

numPred

public int numPred()

numTypes

public int numTypes()

getTypes

public TypeSet getTypes()

getConsts

public java.util.List getConsts()

getActs

public java.util.List getActs()

getFuns

public java.util.List getFuns()

getSFuns

public java.util.List getSFuns()

getPreds

public java.util.List getPreds()

getConcepts

public java.util.List getConcepts()

getFunConcepts

public java.util.List getFunConcepts()

getTypeSet

public TypeSet getTypeSet()

getNumLits

public int getNumLits()

defaultFnValue

public Term defaultFnValue(Funct f)

getRandomConst

public Const getRandomConst(Type t,
                            java.util.Random r)

getConsts

public java.util.List getConsts(Type t)

addConcept

public void addConcept(Concept c)

addConcept

public void addConcept(Pred p,
                       java.util.List vs,
                       Formula f)

addConcepts

public void addConcepts(java.util.List l)

addFunConcept

public void addFunConcept(FunConcept fc)

addFunConcepts

public void addFunConcepts(java.util.List l)

getConceptPreds

public java.util.List getConceptPreds(java.util.List l)

getAllPreds

public java.util.List getAllPreds()

getAllConceptPreds

public java.util.List getAllConceptPreds()

getAllConceptFLits

public java.util.List getAllConceptFLits()

getAllConceptFuns

public java.util.List getAllConceptFuns()

getAllFuns

public java.util.List getAllFuns()

resetConcepts

public void resetConcepts()

saveToFile

public void saveToFile(java.lang.String filename)

toString

public java.lang.String toString()

main

public static void main(java.lang.String[] args)