public class Var extends Object implements Comparable<Var>
Modifier and Type | Field and Description |
---|---|
CloseableIterator<Term> |
domain |
Term |
image |
Collection<Atom> |
postAtomsFixed |
Collection<Atom> |
preAtomsFixed |
VarSharedData |
shared |
Constructor and Description |
---|
Var(VarSharedData data) |
public VarSharedData shared
public Term image
public CloseableIterator<Term> domain
public Collection<Atom> preAtomsFixed
public Collection<Atom> postAtomsFixed
public Var(VarSharedData data)
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.