Classes

class   casting_replace_symbolt

  A variant of replace_symbolt that does not require types to match, but instead inserts type casts as needed when replacing one symbol by another. More...