uk.ac.manchester.cs.jfact.elf

Class RChainRRule

java.lang.Object

uk.ac.manchester.cs.jfact.elf.RChainRRule

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

the rule for S in R o S [= T case

Method Summary

Methods inherited from class java.lang.Object

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