cloud9_root/src/third_party/stp/src/simplifier/simplifier.cpp
// Check if key, or NOT(key) is found in the alwaysTrueSet.
Check if key, or NOT(key) is found in the alwaysTrueSet.
Check if key or NOT ( key ) is found in the alwaysTrueSet .
bool
  Simplifier::CheckAlwaysTrueFormSet(const ASTNode& key, bool& result)
  {
    HASHSET<int>::const_iterator it_end_2 = AlwaysTrueHashSet.end();
    HASHSET<int>::const_iterator it2 = AlwaysTrueHashSet.find(key.GetNodeNum());
    if (it2 != it_end_2)
      {
        result = true; 
        return true;
      }
    int toSearch;
    if (key.GetKind() == NOT)
      toSearch = key.GetNodeNum() - 1;
    else
      toSearch = key.GetNodeNum() + 1;
    it2 = AlwaysTrueHashSet.find(toSearch);
    if (it2 != it_end_2)
      {
        result = false;
        return true;
      }
    return false;
  }
bool Simplifier :: CheckAlwaysTrueFormSet ( const ASTNode & key , bool & result ) { HASHSET < int > :: const_iterator it_end_2 = AlwaysTrueHashSet . end ( ) ; HASHSET < int > :: const_iterator it2 = AlwaysTrueHashSet . find ( key . GetNodeNum ( ) ) ; if ( it2 != it_end_2 ) { result = true ; return true ; } int toSearch ; if ( key . GetKind ( ) == NOT ) toSearch = key . GetNodeNum ( ) - 1 ; else toSearch = key . GetNodeNum ( ) + 1 ; it2 = AlwaysTrueHashSet . find ( toSearch ) ; if ( it2 != it_end_2 ) { result = false ; return true ; } return false ; }
Check if key, or NOT(key) is found in the alwaysTrueSet.
Check if key or NOT ( key ) is found in the alwaysTrueSet .
// The key should be replaced by TRUE.