return true;
}
protected int processClass(AtomIObject var, ATermAppl c, List<RuleAtom> atoms, int varCount) {
AFun afun = c.getAFun();
if( afun.equals( ATermUtils.ANDFUN ) ) {
for( ATermList list = (ATermList) c.getArgument( 0 ); !list.isEmpty(); list = list.getNext() ) {
ATermAppl conjunct = (ATermAppl) list.getFirst();
varCount = processClass( var, conjunct, atoms, varCount );
}
}
else if( afun.equals( ATermUtils.SOMEFUN ) ) {
ATermAppl p = (ATermAppl) c.getArgument( 0 );
ATermAppl filler = (ATermAppl) c.getArgument( 1 );
if( filler.getAFun().equals( ATermUtils.VALUEFUN ) ) {
ATermAppl nominal = (ATermAppl) filler.getArgument( 0 );