uk.ac.manchester.cs.jfact.elf

Class CExistSubRule

java.lang.Object

uk.ac.manchester.cs.jfact.elf.CExistSubRule

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

rule that checks the addition of (X,Y) to R and finds a C in S(Y)

Method Summary

Methods inherited from class java.lang.Object

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