rules
Class FunConcept

java.lang.Object
  rules.FunConcept

public class FunConcept

extends java.lang.Object

Constructor Summary

FunConcept()

FunConcept(Funct f, java.util.List vs, Pred p, int cA)

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

Method Summary

boolean	equalsFun(Funct f)
boolean	equalsFun(java.lang.String name)
boolean	equalsFun(java.lang.String name, int arity)
int	getCountArg()
Funct	getFun()
Pred	getPred()
java.util.List	getVars()
boolean	matchesButForVars(FunConcept c)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

FunConcept

public FunConcept()

FunConcept

public FunConcept(Funct f,
                  java.util.List vs,
                  Pred p,
                  int cA)

FunConcept

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

Method Detail

matchesButForVars

public boolean matchesButForVars(FunConcept c)

equalsFun

public boolean equalsFun(Funct f)

equalsFun

public boolean equalsFun(java.lang.String name)

equalsFun

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

getFun

public Funct getFun()

getCountArg

public int getCountArg()

getVars

public java.util.List getVars()

getPred

public Pred getPred()

toString

public java.lang.String toString()