rules
Class PLit

java.lang.Object
  rules.Formula
      rules.Lit
          rules.PLit

All Implemented Interfaces:

java.lang.Cloneable

Direct Known Subclasses:

Action

public class PLit

extends Lit

implements java.lang.Cloneable

Field Summary

Fields inherited from class rules.Lit

conceptPenalty, onlyleaves

Constructor Summary

PLit()

PLit(PLit other)

PLit(Pred p, Args as)

PLit(Pred p, Args as, boolean b)

PLit(Pred p, Args as, java.lang.Boolean ps)

PLit(Pred p, Args as, boolean ps, boolean typed)

PLit(Pred p, java.util.List tlist)

PLit(Pred p, Term[] ts)

PLit(Pred p, Term[] ts, boolean ps)

PLit(Pred p, Term t, boolean ps)

PLit(Pred p, Term t, boolean ps, boolean typed)

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

PLit(java.lang.String pname, Type[] patypes, java.util.List tlist)

PLit(java.lang.String pname, Type[] patypes, Term[] ts)

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)
Term	get(int i)
int	getArity()
java.util.Set	getConsts()
java.lang.String	getName()
Pred	getPred()
java.util.Set	getPreds()
Term	getTerm(int i)
Args	getTerms()
java.util.Set	getVars()
boolean	hasConsts()
boolean	hasFreeVars()
boolean	hasFreeVars(Subs s)
boolean	hasTerm(Term t)
boolean	hasUnboundVars()
boolean	hasUnboundVars(Subs s)
boolean	isTrueIn(World w, Subs s)
boolean	isTyped()
boolean	isTypeLit()
static void	main(java.lang.String[] args) testing code
boolean	matches(java.lang.Object other)
boolean	matchesButForArgs(java.lang.Object other)
boolean	mistyped()
boolean	mistyped(Subs s)
Type	mostSpecificType(Const c)
Lit	negateClone()
int	numOccurs(Term t)
int	numTerms()
boolean	occurs(Term t)
void	setArgs(Lang l, java.util.Random r)
java.lang.String	toFileString()
java.lang.String	toShortString()
java.lang.String	toString()
boolean	typeLitTruth()
boolean	typeLitTruth(Subs s)
Subs	unify(Lit p, Subs s)

Methods inherited from class rules.Lit

conceptObjects, getFuns, getLits, hashCode, isEquality, isFalseIn, isFalseIn, isInequality, isNegative, isPositive, isTrueIn, matchEquals, matchesWithType, readLit, setFunConcepts, setTruth, toSS, unify, usedConceptObjects

Methods inherited from class rules.Formula

equals, makeFormula

Methods inherited from class java.lang.Object

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

Constructor Detail

PLit

public PLit()

PLit

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

PLit

public PLit(Pred p,
            Term[] ts)

PLit

public PLit(Pred p,
            Term[] ts,
            boolean ps)

PLit

public PLit(Pred p,
            Args as)

PLit

public PLit(Pred p,
            Args as,
            java.lang.Boolean ps)

PLit

public PLit(Pred p,
            Term t,
            boolean ps)

PLit

public PLit(Pred p,
            Args as,
            boolean ps,
            boolean typed)

PLit

public PLit(Pred p,
            Term t,
            boolean ps,
            boolean typed)

PLit

public PLit(Pred p,
            Args as,
            boolean b)

PLit

public PLit(java.lang.String pname,
            Type[] patypes,
            Term[] ts)

PLit

public PLit(java.lang.String pname,
            Type[] patypes,
            java.util.List tlist)

PLit

public PLit(Pred p,
            java.util.List tlist)

PLit

public PLit(PLit other)

Method Detail

clone

public java.lang.Object clone()

Overrides:

clone in class Lit

negateClone

public Lit negateClone()

Overrides:

negateClone in class Lit

isTyped

public boolean isTyped()

Overrides:

isTyped in class Lit

isTypeLit

public boolean isTypeLit()

Overrides:

isTypeLit in class Lit

typeLitTruth

public boolean typeLitTruth()

Overrides:

typeLitTruth in class Lit

typeLitTruth

public boolean typeLitTruth(Subs s)

Overrides:

typeLitTruth 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

contains

public boolean contains(Term tc)

Overrides:

contains in class Lit

actualSize

public int actualSize()

Overrides:

actualSize in class Lit

isTrueIn

public boolean isTrueIn(World w,
                        Subs s)

Specified by:

isTrueIn 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

getVars

public java.util.Set getVars()

Overrides:

getVars in class Lit

getConsts

public java.util.Set getConsts()

Overrides:

getConsts in class Lit

getPred

public Pred getPred()

getPreds

public java.util.Set getPreds()

Overrides:

getPreds in class Lit

setArgs

public void setArgs(Lang l,
                    java.util.Random r)

getTerms

public Args getTerms()

getTerm

public Term getTerm(int i)

getArity

public int getArity()

arity

public int arity()

Overrides:

arity in class Lit

get

public Term get(int i)

numTerms

public int numTerms()

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

occurs

public boolean occurs(Term t)

Overrides:

occurs in class Lit

numOccurs

public int numOccurs(Term t)

Overrides:

numOccurs in class Lit

hasTerm

public boolean hasTerm(Term t)

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

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

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

main

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

testing code