Class Dif.MyMap

java.lang.Object

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

All Implemented Interfaces:

Map<Variable,Variable>

Enclosing class:

Dif

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

Nested Class Summary

Nested classes/interfaces inherited from interface Map

Map.Entry<K,V>

Field Summary

Fields

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

Constructor Summary

Constructors

Modifier	Constructor	Description
private	MyMap()

Method Summary

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

Methods inherited from class Object

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

Methods inherited from interface Map

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

Field Details

variables

Set<Variable> variables

Constructor Details

MyMap

private MyMap()

Method Details

size

public int size()

Specified by:

size in interface Map<Variable,Variable>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface Map<Variable,Variable>

containsKey

public boolean containsKey(Object key)

Specified by:

containsKey in interface Map<Variable,Variable>

containsValue

public boolean containsValue(Object value)

Specified by:

containsValue in interface Map<Variable,Variable>

get

public Variable get(Object key)

Specified by:

get in interface Map<Variable,Variable>

put

public Variable put(Variable key,
 Variable value)

Specified by:

put in interface Map<Variable,Variable>

remove

public Variable remove(Object key)

Specified by:

remove in interface Map<Variable,Variable>

putAll

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

Specified by:

putAll in interface Map<Variable,Variable>

clear

public void clear()

Specified by:

clear in interface Map<Variable,Variable>

keySet

public Set<Variable> keySet()

Specified by:

keySet in interface Map<Variable,Variable>

values

public Collection<Variable> values()

Specified by:

values in interface Map<Variable,Variable>

entrySet

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

Specified by:

entrySet in interface Map<Variable,Variable>