rules
Class Concept

java.lang.Object
  rules.Concept

public class Concept

extends java.lang.Object

Constructor Summary

Concept()

Concept(Pred p, java.util.List vs, Formula f)

Concept(java.lang.String input, Lang l)

Method Summary

int	arity()
boolean	equalsPred(Pred p)
boolean	equalsPred(java.lang.String name)
boolean	equalsPred(java.lang.String name, int arity)
Formula	getForm()
Pred	getPred()
java.util.List	getVars()
boolean	matchesButForVars(Concept c)
void	setFunConcepts(Lang l)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Concept

public Concept()

Concept

public Concept(Pred p,
               java.util.List vs,
               Formula f)

Concept

public Concept(java.lang.String input,
               Lang l)

Method Detail

matchesButForVars

public boolean matchesButForVars(Concept c)

setFunConcepts

public void setFunConcepts(Lang l)

equalsPred

public boolean equalsPred(Pred p)

equalsPred

public boolean equalsPred(java.lang.String name)

equalsPred

public boolean equalsPred(java.lang.String name,
                          int arity)

getPred

public Pred getPred()

getVars

public java.util.List getVars()

arity

public int arity()

getForm

public Formula getForm()

toString

public java.lang.String toString()