Uses of Class
inpro.irmrsc.rmrs.Formula

Packages that use Formula

inpro.incremental.processor
inpro.incremental.unit
inpro.irmrsc.rmrs
inpro.irmrsc.util

Uses of Formula in inpro.incremental.processor

Fields in inpro.incremental.processor with type parameters of type Formula

private java.util.Map<java.lang.String,Formula>	RMRSComposer.semanticMacrosLongname
private java.util.Map<java.lang.String,Formula>	RMRSComposer.semanticMacrosShortname
private java.util.Map<java.lang.String,Formula>	RMRSComposer.semanticRules

Methods in inpro.incremental.processor with parameters of type Formula

int	RMRSComposer.Resolver.resolves(Formula f) A resolve method called whenever a new FormulaIU is created to determine if its relations resolve something in the world.
int	RMRSComposer.Resolver.resolvesObject(Formula f, java.lang.String id) A resolve method called to determine if a particular object, identified by a string argument, was among the domain objects that resolved (or indeed the only one that did) Implementers need to make sure that comparison of the string representation and domain objects takes place.
java.util.Map<java.lang.Integer,java.util.List<? extends java.lang.Object>>	RMRSComposer.Resolver.resolvesObjects(Formula f) A resolve method called whenever a new Formula is created to determine what domain concepts it resolves in the world.

Uses of Formula in inpro.incremental.unit

Fields in inpro.incremental.unit declared as Formula

private Formula

FormulaIU.formula

Methods in inpro.incremental.unit that return Formula

Formula

FormulaIU.getFormula()

Constructors in inpro.incremental.unit with parameters of type Formula

FormulaIU(IU sll, IU groundedIn, Formula formula)

FormulaIU(IU sll, java.util.List<IU> groundedIn, Formula formula)

Uses of Formula in inpro.irmrsc.rmrs

Methods in inpro.irmrsc.rmrs with parameters of type Formula

boolean	Formula.forwardCombine(Formula fo) combines the given formula with this formula in a 'forward function composition' manner.
void	Formula.simpleAdd(Formula fo) simply adds another formula to this formula without consuming a slot and equating variables

Constructors in inpro.irmrsc.rmrs with parameters of type Formula

Formula(Formula f)

Uses of Formula in inpro.irmrsc.util

Fields in inpro.irmrsc.util declared as Formula

private Formula

SemanticMacro.formula

Methods in inpro.irmrsc.util that return Formula

Formula

SemanticMacro.getFormula()

Methods in inpro.irmrsc.util with parameters of type Formula

void	SemanticMacro.setFormula(Formula formula)

Constructors in inpro.irmrsc.util with parameters of type Formula

SemanticMacro(java.lang.String s, java.lang.String l, Formula f)