Atomic (Grakn 0.8.0 API)

All Superinterfaces:

Cloneable

All Known Implementing Classes:

Atom, AtomBase, Binary, DataTypeAtom, HasRole, IdPredicate, IsAbstractAtom, NotEquals, Predicate, RegexAtom, Relation, Resource, TypeAtom, ValuePredicate
```
public interface Atomic
extends Cloneable
```

Method Summary

All Methods Instance Methods Abstract Methods Default Methods
Modifier and Type	Method and Description
`Atomic`	`clone()`
`default boolean`	`containsVar(String name)`
`int`	`equivalenceHashCode()`
`Query`	`getParentQuery()`
`PatternAdmin`	`getPattern()`
`Map<String,String>`	`getUnifiers(Atomic parentAtom)`
`String`	`getVarName()`
`Set<String>`	`getVarNames()`
`default boolean`	`isAtom()`
`boolean`	`isEquivalent(Object obj)`
`default boolean`	`isPredicate()`
`default boolean`	`isRecursive()`
`default boolean`	`isRuleResolvable()`
`default boolean`	`isSelectable()`
`default boolean`	`isUserDefinedName()`
`void`	`setParentQuery(Query q)`
`void`	`unify(Map<String,String> unifiers)` change each variable occurrence according to provided mappings (apply unifiers {[from, to]_i}) if capture occurs it is marked with a "capture->" name
`void`	`unify(String from, String to)` change each variable occurrence in the atom (apply unifier [from/to]) if capture occurs it is marked with a "capture->" name

- Method Detail
  - clone
```
Atomic clone()
```
  - isAtom
```
default boolean isAtom()
```
  - isPredicate
```
default boolean isPredicate()
```
  - isEquivalent
```
boolean isEquivalent(Object obj)
```
    Returns:
    
    true if atom alpha-equivalent
  - equivalenceHashCode
```
int equivalenceHashCode()
```
  - isUserDefinedName
```
default boolean isUserDefinedName()
```
  - isRuleResolvable
```
default boolean isRuleResolvable()
```
    Returns:
    
    true if the atom can be resolved by a rule (atom exists in one of the rule's head)
  - isSelectable
```
default boolean isSelectable()
```
    Returns:
    
    true if the atom can form an atomic query
  - isRecursive
```
default boolean isRecursive()
```
  - containsVar
```
default boolean containsVar(String name)
```
    Parameters:
    
    name - variable name
    
    Returns:
    
    true if atom contains an occurrence of the variable name
  - getPattern
```
PatternAdmin getPattern()
```
    Returns:
    
    the corresponding pattern
  - getParentQuery
```
Query getParentQuery()
```
    Returns:
    
    the query this atom belongs to
  - setParentQuery
```
void setParentQuery(Query q)
```
    Parameters:
    
    q - query this atom is supposed to belong to
  - getUnifiers
```
Map<String,String> getUnifiers(Atomic parentAtom)
```
  - unify
```
void unify(String from,
           String to)
```
    change each variable occurrence in the atom (apply unifier [from/to]) if capture occurs it is marked with a "capture->" name
    
    Parameters:
    
    from - variable name to be changed
    
    to - new variable name
  - unify
```
void unify(Map<String,String> unifiers)
```
    change each variable occurrence according to provided mappings (apply unifiers {[from, to]_i}) if capture occurs it is marked with a "capture->" name
    
    Parameters:
    
    unifiers - contain variable mappings to be applied
  - getVarName
```
String getVarName()
```
  - getVarNames
```
Set<String> getVarNames()
```
    Returns:
    
    all addressable variable names in the atom

Interface Atomic

Method Summary

Method Detail

clone

isAtom

isPredicate

isEquivalent

equivalenceHashCode

isUserDefinedName

isRuleResolvable

isSelectable

isRecursive

containsVar

getPattern

getParentQuery

setParentQuery

getUnifiers

unify

unify

getVarName

getVarNames