uk.ac.manchester.cs.jfact.split

Class TSplitVars

java.lang.Object

uk.ac.manchester.cs.jfact.split.TSplitVars

@PortedFrom(file="tSplitVars.h",
            name="TSplitVars")
public class TSplitVars
extends Object

set of all known var splits with access by name

Field Summary

Fields

Modifier and Type	Field and Description
protected List<TSplitVar>	Base
protected Map<ConceptName,TSplitVar>	Index

Constructor Summary

Constructors

Constructor and Description
TSplitVars()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	empty()
List<TSplitVar>	getEntries()

Methods inherited from class java.lang.Object

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

Field Detail

Base

@PortedFrom(file="tSplitVars.h",
            name="Base")
protected List<TSplitVar> Base

Index

@PortedFrom(file="tSplitVars.h",
            name="Index")
protected Map<ConceptName,TSplitVar> Index

Constructor Detail

TSplitVars

public TSplitVars()

Method Detail

getEntries

@PortedFrom(file="tSplitVars.h",
            name="begin")
public List<TSplitVar> getEntries()

empty

@PortedFrom(file="tSplitVars.h",
            name="empty")
public boolean empty()

Returns:

true iff split-set is empty