uk.ac.manchester.cs.jfact.elf

Class CSubRule

java.lang.Object

uk.ac.manchester.cs.jfact.elf.CSubRule

@PortedFrom(file="ELFReasoner.h",
            name="CSubRule")
public class CSubRule
extends Object

the rule for C [= D case

Method Summary

Methods inherited from class java.lang.Object

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