public class VarSharedData extends Object implements Comparable<VarSharedData>
Modifier and Type | Field and Description |
---|---|
int |
level |
List<PreparedExistentialHomomorphism> |
negatedPartsToCheck |
int |
nextLevel |
Collection<Atom> |
postAtoms |
Set<VarSharedData> |
postVars |
Collection<Atom> |
preAtoms |
NavigableSet<VarSharedData> |
preVars |
int |
previousLevel |
Variable |
value |
Constructor and Description |
---|
VarSharedData() |
VarSharedData(int level) |
VarSharedData(VarSharedData v)
copy constructor
|
Modifier and Type | Method and Description |
---|---|
int |
compareTo(VarSharedData o) |
int |
hashCode() |
String |
toString()
Use for debugging
|
public int level
public Variable value
public Collection<Atom> preAtoms
public Collection<Atom> postAtoms
public NavigableSet<VarSharedData> preVars
public Set<VarSharedData> postVars
public int nextLevel
public int previousLevel
public List<PreparedExistentialHomomorphism> negatedPartsToCheck
public VarSharedData()
public VarSharedData(int level)
public VarSharedData(VarSharedData v)
v
- public int compareTo(VarSharedData o)
compareTo
in interface Comparable<VarSharedData>
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.