uk.ac.manchester.cs.jfact.kernel

Class InAx

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.InAx

@PortedFrom(file="tAxiom.h",
            name="InAx")
public class InAx
extends Object

Constructor Summary

Constructors

Constructor and Description
InAx()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

InAx

public InAx()