System.out.println("RuleEditorPane.getRuleVariableList(): comp.length "+ comp.length);
// UnitermOperator
if( comp[i] instanceof UnitermOperatorPanel ){
final UnitermOperatorPanel fop = (UnitermOperatorPanel) comp[i];
for (int j = 0; j < fop.getUnitermOperator().getTerms().size(); j++) {
if((fop.getUnitermOperator().getTerms().get(j).isVariable()) && !this.listContainsElement(varTerms,fop.getUnitermOperator().getTerms().get(j).getValue())){
varTerms.add(fop.getUnitermOperator().getTerms().get(j));
}
}
} // end FactOperator
// ListOperator
if( comp[i] instanceof ListOperatorPanel ){
final ListOperatorPanel lop = (ListOperatorPanel) comp[i];
for (int j = 0; j < lop.getListOperator().getTerms().size(); j++) {
if((lop.getListOperator().getTerms().get(j).isVariable()) && !this.listContainsElement(varTerms,lop.getListOperator().getTerms().get(j).getValue())){
varTerms.add(lop.getListOperator().getTerms().get(j));
}
}
} // end ListOperator
// FrameOperator
if( comp[i] instanceof FrameOperatorPanel ){
System.out.println("EIN Frame!!!");
final FrameOperatorPanel fop = (FrameOperatorPanel) comp[i];
for (int j = 0; j < fop.getFrameOperator().getTerms().size(); j++) {
if((fop.getFrameOperator().getTerms().get(j).isConstant() || fop.getFrameOperator().getTerms().get(j).isVariable()) && !this.listContainsElement(varTerms,fop.getFrameOperator().getTerms().get(j).getValue())){
varTerms.add(fop.getFrameOperator().getTerms().get(j));
}
}
} // end FrameOperator