rules
Class FLit

java.lang.Object
  rules.Formula
      rules.Lit
          rules.FLit

All Implemented Interfaces:

java.lang.Cloneable

public class FLit

extends Lit

implements java.lang.Cloneable

Field Summary

static int	EQUAL
static int	LESS
static int	MORE

Fields inherited from class rules.Lit

conceptPenalty, onlyleaves

Constructor Summary

FLit()

FLit(FLit other)

FLit(FTerm f, Term v, boolean p)

FLit(FTerm f, Term v, boolean p, int t)

FLit(Funct f, Args as, Term v)

FLit(Funct f, Args as, Term v, boolean p)

FLit(Funct f, Args as, Term v, boolean p, int t)

FLit(Funct f, Args as, Term v, int t)

FLit(java.lang.String p, Lang l)

Method Summary

int	actualSize()
Lit	apply(Subs s)
java.util.List	applyAll(Subs s)
int	arity()
java.lang.Object	clone()
boolean	contains(Term tc)
boolean	contradicts(java.lang.Object other)
boolean	equals(Lit other, Subs s)
boolean	equals(java.lang.Object other)
void	fixType()
Var	freeVar(java.util.Set boundVars)
int	getArity()
java.util.Set	getConsts()
FTerm	getFTerm()
Funct	getFun()
Term	getFunArg(int i)
Args	getFunArgs()
FunConcept	getFunConcept()
java.util.Set	getFuns()
java.lang.String	getName()
int	getType()
Term	getVal()
java.util.Set	getVars()
boolean	hasConsts()
boolean	hasFreeVars()
boolean	hasFreeVars(Subs s)
boolean	hasTerm(Term tc)
boolean	hasUnboundVars()
boolean	hasUnboundVars(Subs s)
boolean	isEquality()
boolean	isLess()
boolean	isMore()
boolean	isSpecFLit()
boolean	isTrueIn(World w, Subs s)
static void	main(java.lang.String[] args) testing code
boolean	matchEquals(java.lang.Object other)
boolean	matches(java.lang.Object other)
boolean	matchesButForArgs(java.lang.Object other)
boolean	matchesWithType(java.lang.Object other)
boolean	mistyped()
boolean	mistyped(Subs s)
Type	mostSpecificType(Const c)
int	numOccurs(Term t)
boolean	occurs(Term t)
int	rangeSize(Lang l)
void	setFunConcepts(Lang l)
void	setTypeToEqual()
void	setTypeToLess()
void	setTypeToMore()
void	setVal(Term t)
java.lang.String	signString()
java.lang.String	toFileString()
java.lang.String	toShortString()
java.lang.String	toString()
Subs	unify(Lit p, Subs s)
Subs	updateSubs(Subs s, World w)

Methods inherited from class rules.Lit

conceptObjects, getLits, getPreds, hashCode, isFalseIn, isFalseIn, isInequality, isNegative, isPositive, isTrueIn, isTyped, isTypeLit, negateClone, readLit, setTruth, toSS, typeLitTruth, typeLitTruth, unify, usedConceptObjects

Methods inherited from class rules.Formula

equals, makeFormula

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

EQUAL

public static int EQUAL

LESS

public static int LESS

MORE

public static int MORE

Constructor Detail

FLit

public FLit()

FLit

public FLit(java.lang.String p,
            Lang l)

FLit

public FLit(Funct f,
            Args as,
            Term v)

FLit

public FLit(Funct f,
            Args as,
            Term v,
            int t)

FLit

public FLit(Funct f,
            Args as,
            Term v,
            boolean p)

FLit

public FLit(Funct f,
            Args as,
            Term v,
            boolean p,
            int t)

FLit

public FLit(FTerm f,
            Term v,
            boolean p)

FLit

public FLit(FTerm f,
            Term v,
            boolean p,
            int t)

FLit

public FLit(FLit other)

Method Detail

setFunConcepts

public void setFunConcepts(Lang l)

Overrides:

setFunConcepts in class Lit

clone

public java.lang.Object clone()

Overrides:

clone in class Lit

isTrueIn

public boolean isTrueIn(World w,
                        Subs s)

Specified by:

isTrueIn in class Lit

updateSubs

public Subs updateSubs(Subs s,
                       World w)

getVars

public java.util.Set getVars()

Overrides:

getVars in class Lit

getConsts

public java.util.Set getConsts()

Overrides:

getConsts in class Lit

fixType

public void fixType()

Overrides:

fixType in class Lit

mistyped

public boolean mistyped()

Overrides:

mistyped in class Lit

mistyped

public boolean mistyped(Subs s)

Overrides:

mistyped in class Lit

apply

public Lit apply(Subs s)

Overrides:

apply in class Lit

applyAll

public java.util.List applyAll(Subs s)

Overrides:

applyAll in class Lit

mostSpecificType

public Type mostSpecificType(Const c)

Overrides:

mostSpecificType in class Lit

unify

public Subs unify(Lit p,
                  Subs s)

Overrides:

unify in class Lit

getFTerm

public FTerm getFTerm()

getFun

public Funct getFun()

actualSize

public int actualSize()

Overrides:

actualSize in class Lit

getFunConcept

public FunConcept getFunConcept()

getFunArgs

public Args getFunArgs()

getFunArg

public Term getFunArg(int i)

getArity

public int getArity()

occurs

public boolean occurs(Term t)

Overrides:

occurs in class Lit

numOccurs

public int numOccurs(Term t)

Overrides:

numOccurs in class Lit

arity

public int arity()

Overrides:

arity in class Lit

setVal

public void setVal(Term t)

getVal

public Term getVal()

hasUnboundVars

public boolean hasUnboundVars()

hasUnboundVars

public boolean hasUnboundVars(Subs s)

Overrides:

hasUnboundVars in class Lit

hasFreeVars

public boolean hasFreeVars()

Overrides:

hasFreeVars in class Lit

hasFreeVars

public boolean hasFreeVars(Subs s)

Overrides:

hasFreeVars in class Lit

freeVar

public Var freeVar(java.util.Set boundVars)

Overrides:

freeVar in class Lit

hasConsts

public boolean hasConsts()

Overrides:

hasConsts in class Lit

contains

public boolean contains(Term tc)

Overrides:

contains in class Lit

hasTerm

public boolean hasTerm(Term tc)

Overrides:

hasTerm in class Lit

getName

public java.lang.String getName()

Overrides:

getName in class Lit

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class Lit

equals

public boolean equals(Lit other,
                      Subs s)

Overrides:

equals in class Lit

rangeSize

public int rangeSize(Lang l)

isSpecFLit

public boolean isSpecFLit()

getFuns

public java.util.Set getFuns()

Overrides:

getFuns in class Lit

matchesButForArgs

public boolean matchesButForArgs(java.lang.Object other)

Overrides:

matchesButForArgs in class Lit

matches

public boolean matches(java.lang.Object other)

Overrides:

matches in class Lit

matchesWithType

public boolean matchesWithType(java.lang.Object other)

Overrides:

matchesWithType in class Lit

matchEquals

public boolean matchEquals(java.lang.Object other)

Overrides:

matchEquals in class Lit

contradicts

public boolean contradicts(java.lang.Object other)

Overrides:

contradicts in class Lit

toString

public java.lang.String toString()

Overrides:

toString in class Lit

toFileString

public java.lang.String toFileString()

Overrides:

toFileString in class Lit

toShortString

public java.lang.String toShortString()

Overrides:

toShortString in class Lit

isEquality

public boolean isEquality()

Overrides:

isEquality in class Lit

isLess

public boolean isLess()

isMore

public boolean isMore()

signString

public java.lang.String signString()

getType

public int getType()

setTypeToMore

public void setTypeToMore()

setTypeToLess

public void setTypeToLess()

setTypeToEqual

public void setTypeToEqual()

main

public static void main(java.lang.String[] args)

testing code