techniques.PL
Class Interpretation

java.lang.Object
  |
  +--java.util.AbstractMap
        |
        +--java.util.HashMap
              |
              +--techniques.PL.Interpretation
All Implemented Interfaces:
java.lang.Cloneable, java.util.Map, java.io.Serializable

public class Interpretation
extends java.util.HashMap

Represents an interpretation in propositional logic. This class obeys the java.util.Map interface. To use it properly, you must use Variable objects as keys, and java.lang.Boolean objects as values. It is permissible to map null values.

See Also:
Serialized Form

Inner classes inherited from class java.util.Map
java.util.Map.Entry
 
Constructor Summary
Interpretation()
           
 
Methods inherited from class java.util.HashMap
clear, clone, containsKey, containsValue, entrySet, get, isEmpty, keySet, put, putAll, remove, size, values
 
Methods inherited from class java.util.AbstractMap
equals, hashCode, toString
 
Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface java.util.Map
equals, hashCode
 

Constructor Detail

Interpretation

public Interpretation()