filter.xml ========== = != QF_IDL QF_UFBV QF_IDL QF_LRA QF_AULIA QF_LIA = <= >= = != sat unsat test.php ============ '; $doc = new DOMDocument; $doc->load('filter.xml'); $doc->preserveWhiteSpace = false; $entries = $doc->getElementsByTagName('topfilters'); #$xpath->query($query); foreach ( $entries as $entry ) { echo ''; } echo ''; if ( $top_level_value != NULL ) { $middle_filter = '/filters/topfilters[@name="' . $top_level_value . '"]/middlefilters/filter'; $low_filter = '/filters/topfilters[@name="' . $top_level_value . '"]/lowfilters/filter'; $xpath = new DOMXPath($doc); /* out put for middle and low filters and select appropriate default values if possible */ $entries = $xpath->query ( $middle_filter ); echo ''; /* for the low filter i have to keep a count coz if there is no filter, that means we have to put a text box */ $count = 0; $entries = $xpath->query ( $low_filter ); /* first get the count */ foreach ( $entries as $entry ) $count++; if ( $count != 0 ) { echo ''; } else { echo ''; } } echo '
'; } ?> Search SMT Libs