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()