uk.ac.manchester.cs.jfact.elf

Class RChainLRule

java.lang.Object

uk.ac.manchester.cs.jfact.elf.RChainLRule

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

the rule for R 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