jtabwbx.prop.formula

Class PropositionalSubstitution

java.lang.Object

java.util.AbstractMap<K,V>

java.util.HashMap<FormulaProposition,Formula>

jtabwbx.prop.formula.PropositionalSubstitution

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.util.Map<FormulaProposition,Formula>

public class PropositionalSubstitution
extends java.util.HashMap<FormulaProposition,Formula>

A propositional substitution is a mapping between propositional variables and formulas.

Author:

Mauro Ferrari

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class java.util.AbstractMap

java.util.AbstractMap.SimpleEntry<K,V>, java.util.AbstractMap.SimpleImmutableEntry<K,V>

Nested classes/interfaces inherited from interface java.util.Map

java.util.Map.Entry<K,V>

Constructor Summary

Constructors

Constructor and Description
PropositionalSubstitution()

Method Summary

Modifier and Type	Method and Description
java.lang.String	toString()

Methods inherited from class java.util.HashMap

clear, clone, compute, computeIfAbsent, computeIfPresent, containsKey, containsValue, entrySet, forEach, get, getOrDefault, isEmpty, keySet, merge, put, putAll, putIfAbsent, remove, remove, replace, replace, replaceAll, size, values

Methods inherited from class java.util.AbstractMap

equals, hashCode

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Map

equals, hashCode

Constructor Detail

PropositionalSubstitution

public PropositionalSubstitution()

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.util.AbstractMap<FormulaProposition,Formula>