Package org.projog.core.predicate.builtin.reif

Class Dif.MyMap

java.lang.Object

org.projog.core.predicate.builtin.reif.Dif.MyMap

All Implemented Interfaces:

java.util.Map<Variable,Variable>

Enclosing class:

Dif

private static final class Dif.MyMap
extends java.lang.Object
implements java.util.Map<Variable,Variable>

Nested Class Summary

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

java.util.Map.Entry<K extends java.lang.Object,V extends java.lang.Object>

Field Summary

Fields

Modifier and Type	Field	Description
(package private) java.util.Set<Variable>	variables

Constructor Summary

Constructors

Modifier	Constructor	Description
private	MyMap()

Method Summary

Modifier and Type	Method	Description
void	clear()
boolean	containsKey(java.lang.Object key)
boolean	containsValue(java.lang.Object value)
java.util.Set<java.util.Map.Entry<Variable,Variable>>	entrySet()
Variable	get(java.lang.Object key)
boolean	isEmpty()
java.util.Set<Variable>	keySet()
Variable	put(Variable key, Variable value)
void	putAll(java.util.Map<? extends Variable,? extends Variable> m)
Variable	remove(java.lang.Object key)
int	size()
java.util.Collection<Variable>	values()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.Map

compute, computeIfAbsent, computeIfPresent, equals, forEach, getOrDefault, hashCode, merge, putIfAbsent, remove, replace, replace, replaceAll

Field Detail

variables

java.util.Set<Variable> variables

Constructor Detail

MyMap

private MyMap()

Method Detail

size

public int size()

Specified by:

size in interface java.util.Map<Variable,Variable>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface java.util.Map<Variable,Variable>

containsKey

public boolean containsKey(java.lang.Object key)

Specified by:

containsKey in interface java.util.Map<Variable,Variable>

containsValue

public boolean containsValue(java.lang.Object value)

Specified by:

containsValue in interface java.util.Map<Variable,Variable>

get

public Variable get(java.lang.Object key)

Specified by:

get in interface java.util.Map<Variable,Variable>

put

public Variable put(Variable key,
                    Variable value)

Specified by:

put in interface java.util.Map<Variable,Variable>

remove

public Variable remove(java.lang.Object key)

Specified by:

remove in interface java.util.Map<Variable,Variable>

putAll

public void putAll(java.util.Map<? extends Variable,? extends Variable> m)

Specified by:

putAll in interface java.util.Map<Variable,Variable>

clear

public void clear()

Specified by:

clear in interface java.util.Map<Variable,Variable>

keySet

public java.util.Set<Variable> keySet()

Specified by:

keySet in interface java.util.Map<Variable,Variable>

values

public java.util.Collection<Variable> values()

Specified by:

values in interface java.util.Map<Variable,Variable>

entrySet

public java.util.Set<java.util.Map.Entry<Variable,Variable>> entrySet()

Specified by:

entrySet in interface java.util.Map<Variable,Variable>