uk.ac.manchester.cs.jfact.split

Class TSplitVar

java.lang.Object

uk.ac.manchester.cs.jfact.split.TSplitVar

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

this is to keep the track of new vars/axioms for C >< C0, C1, ..., Cn

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	TSplitVar.Entry

Field Summary

Fields

Modifier and Type	Field and Description
Concept	C
ConceptName	oldName

Constructor Summary

Constructors

Constructor and Description
TSplitVar()

Method Summary

Methods

Modifier and Type	Method and Description
List<TSplitVar.Entry>	getEntries()

Methods inherited from class java.lang.Object

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

Field Detail

oldName

public ConceptName oldName

C

public Concept C

Constructor Detail

TSplitVar

public TSplitVar()

Method Detail

getEntries

public List<TSplitVar.Entry> getEntries()