| Constructor and Description |
|---|
UnifierImpl()
Identity unifier.
|
UnifierImpl(Map<Var,Var> map) |
UnifierImpl(Unifier u) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
addMapping(Var key,
Var value)
add a new mapping
|
Unifier |
combine(Unifier d)
unifier combination by joining mappings
|
boolean |
containsAll(Unifier u) |
boolean |
containsKey(Var key) |
boolean |
containsValue(Var value) |
boolean |
equals(Object obj) |
Collection<Var> |
get(Var key) |
int |
hashCode() |
Unifier |
inverse() |
boolean |
isEmpty() |
Set<Var> |
keySet() |
Map<Var,Collection<Var>> |
map() |
Collection<Map.Entry<Var,Var>> |
mappings() |
Unifier |
merge(Unifier d)
unifier merging by simple mapping addition (no variable clashes assumed)
|
Unifier |
removeTrivialMappings() |
int |
size() |
String |
toString() |
Collection<Var> |
values() |
public UnifierImpl()
public UnifierImpl(Unifier u)
public boolean isEmpty()
public Collection<Var> values()
public Collection<Map.Entry<Var,Var>> mappings()
public boolean addMapping(Var key, Var value)
UnifieraddMapping in interface Unifierkey - variablevalue - termpublic Collection<Var> get(Var key)
public boolean containsKey(Var key)
containsKey in interface Unifierkey - variable to be inspected for presencepublic boolean containsValue(Var value)
containsValue in interface Unifiervalue - term to be checked for presencepublic boolean containsAll(Unifier u)
containsAll in interface Unifieru - unifier to compare withpublic Unifier merge(Unifier d)
Unifierpublic Unifier combine(Unifier d)
Unifierpublic Unifier removeTrivialMappings()
removeTrivialMappings in interface Unifierpublic Unifier inverse()
Copyright © 2017 Grakn Labs Ltd. All rights reserved.