/** * Add a variable. * @param var The variable. */ public void addVariable(Variable var) { variables.put(var.getName(), var); }
/** * Test for equality. * @return True, if equal. */ public boolean equals(Object obj) { return obj instanceof Variable && ((Variable)obj).getName().equals(name); // && ((Variable)obj).getType().equals(type); }
/** * Test for equality. * @return True, if equal. */ public boolean equals(Object obj) { return obj instanceof Variable && ((Variable)obj).getName().equals(name); // && ((Variable)obj).getType().equals(type); }
/** * Add a variable. * @param var The variable. */ public void addVariable(Variable var) { variables.put(var.getName(), var); }
/** * Get a string representation of this existential declaration. */ public String toString() { return type.getName()+" "+variable.getName(); }
/** * Get a string representation of this existential declaration. */ public String toString() { return type.getName()+" "+variable.getName(); }
for(int k=0; k<bvars.size(); k++) variables.put(((Variable)bvars.get(k)).getName(), bvars.get(k));
for(int k=0; k<bvars.size(); k++) variables.put(((Variable)bvars.get(k)).getName(), bvars.get(k));
public void execute(IOAVState state, IVariableAssignments assignments) { Object rparamset = assignments.getVariableValue("?rparameterset"); Object neworigvalues = assignments.getVariableValue(var.getName()); updateParameterSet(state, rparamset, neworigvalues); } },
public void execute(IOAVState state, IVariableAssignments assignments) { Object rparam = assignments.getVariableValue("?rparameter"); Object value = assignments.getVariableValue(var.getName()); // System.out.println("Update: "+assignments); BeliefRules.setParameterValue(state, rparam, value); } },
public void execute(IOAVState state, IVariableAssignments assignments) { Object rbeliefset = assignments.getVariableValue("?rbeliefset"); Object rcapa = assignments.getVariableValue("?rcapa"); Object neworigfacts = assignments.getVariableValue(var.getName()); updateBeliefSet(state, rbeliefset, neworigfacts, rcapa); // System.out.println("Beliefset "+state.getAttributeValue(state.getAttributeValue(rbeliefset, OAVBDIRuntimeModel.element_has_model), OAVBDIMetaModel.modelelement_has_name)+" "+state.getAttributeValues(rbeliefset, OAVBDIRuntimeModel.beliefset_has_facts)); } }, null, var};
public void execute(IOAVState state, IVariableAssignments assignments) { Object rbelief = assignments.getVariableValue("?rbelief"); Object rcapa = assignments.getVariableValue("?rcapa"); Object fact = assignments.getVariableValue(var.getName()); BeliefRules.setBeliefValue(state, rbelief, fact, rcapa); // System.out.println("Belief "+state.getAttributeValue(state.getAttributeValue(rbelief, OAVBDIRuntimeModel.element_has_model), OAVBDIMetaModel.modelelement_has_name)+" "+state.getAttributeValue(rbelief, OAVBDIRuntimeModel.belief_has_fact)); } }, null, var};
/** * Add a new terminal node. * @param rule The rule. * @param context The build context. */ protected void addTerminalNode(IRule rule, BuildContext context) { // Create and connect the terminal node Map varinfos = context.getVarInfos(); Map extractors = new HashMap(); for(Iterator it=varinfos.keySet().iterator(); it.hasNext(); ) { Variable var = (Variable)it.next(); if(!var.isTemporary()) extractors.put(var.getName(), getLeftVariableExtractor(context, var)); } TerminalNode tnode = new TerminalNode(context.getRootNode().getNextNodeId(), rule, extractors); connectLeft(context.getLastBetaNode(), tnode, context); // Save the terminal node for later removal context.getRootNode().putTerminalNode(tnode); }
/** * Add a new terminal node. * @param rule The rule. * @param context The build context. */ protected void addTerminalNode(IRule rule, BuildContext context) { // Create and connect the terminal node Map varinfos = context.getVarInfos(); Map extractors = new HashMap(); for(Iterator it=varinfos.keySet().iterator(); it.hasNext(); ) { Variable var = (Variable)it.next(); if(!var.isTemporary()) extractors.put(var.getName(), getLeftVariableExtractor(context, var)); } TerminalNode tnode = new TerminalNode(context.getRootNode().getNextNodeId(), rule, extractors); connectLeft(context.getLastBetaNode(), tnode, context); // Save the terminal node for later removal context.getRootNode().putTerminalNode(tnode); }