InAx (JFact 5.0.0 API)

java.lang.Object
- uk.ac.manchester.cs.jfact.kernel.InAx

All Implemented Interfaces:: Serializable

@PortedFrom(file="tAxiom.h",
            name="InAx")
public class InAx
extends Object
implements Serializable

DLTREE utils

See Also:: Serialized Form

Field Summary

Fields
Modifier and Type	Field and Description
`static String`	`S_ABS_ACTION` statistics
`static String`	`S_ABS_B_APPLY` statistics
`static String`	`S_ABS_C_APPLY` statistics
`static String`	`S_ABS_C_ATTEMPT` statistics
`static String`	`S_ABS_INPUT` statistics
`static String`	`S_ABS_N_APPLY` statistics
`static String`	`S_ABS_N_ATTEMPT` statistics
`static String`	`S_ABS_R_APPLY` statistics
`static String`	`S_ABS_R_ATTEMPT` statistics
`static String`	`S_ABS_REP_CN` statistics
`static String`	`S_ABS_REP_FORALL` statistics
`static String`	`S_ABS_SPLIT` statistics
`static String`	`S_ABS_T_APPLY` statistics

Constructor Summary

Constructors
Constructor and Description

InAx()

Constructors
Constructor and Description
`InAx()`

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`boolean`	`containsSAbsAction()`
`boolean`	`containsSAbsBApply()`
`boolean`	`containsSAbsCApply()`
`boolean`	`containsSAbsCAttempt()`
`boolean`	`containsSAbsInput()`
`boolean`	`containsSAbsNApply()`
`boolean`	`containsSAbsNAttempt()`
`boolean`	`containsSAbsRApply()`
`boolean`	`containsSAbsRAttempt()`
`boolean`	`containsSAbsRepCN()`
`boolean`	`containsSAbsRepForall()`
`boolean`	`containsSAbsSplit()`
`boolean`	`containsSAbsTApply()`
`static Concept`	`getConcept(DLTree p)`
`int`	`getSAbsAction()`
`int`	`getSAbsBApply()`
`int`	`getSAbsCApply()`
`int`	`getSAbsCAttempt()`
`int`	`getSAbsInput()`
`int`	`getSAbsNApply()`
`int`	`getSAbsNAttempt()`
`int`	`getSAbsRApply()`
`int`	`getSAbsRAttempt()`
`int`	`getSAbsRepCN()`
`int`	`getSAbsRepForall()`
`int`	`getSAbsSplit()`
`int`	`getSAbsTApply()`
`static boolean`	`isAbsForall(DLTree p)`
`static boolean`	`isAnd(DLTree p)`
`static boolean`	`isBot(DLTree p)`
`static boolean`	`isForall(DLTree p)`
`static boolean`	`isNegCN(DLTree p)`
`static boolean`	`isNegNP(DLTree p)`
`static boolean`	`isNegPC(DLTree p)`
`static boolean`	`isNP(Concept c)`
`static boolean`	`isOForall(DLTree p)`
`static boolean`	`isOr(DLTree p)`
`static boolean`	`isPosCN(DLTree p)`
`static boolean`	`isPosNP(DLTree p)`
`static boolean`	`isPosPC(DLTree p)`
`static boolean`	`isSimpleForall(DLTree p)`
`static boolean`	`isTop(DLTree p)`
`void`	`sAbsAction()` init SAbsAction
`void`	`sAbsBApply()` init SAbsBApply
`void`	`sAbsCApply()` init SAbsCApply
`void`	`sAbsCAttempt()` init SAbsCAttempt
`void`	`sAbsInput()` init SAbsInput
`void`	`sAbsNApply()` init SAbsNApply
`void`	`sAbsNAttempt()` init SAbsNAttempt
`void`	`sAbsRApply()` init SAbsRApply
`void`	`sAbsRAttempt()` init SAbsRAttempt
`void`	`sAbsRepCN()` init SAbsRepCN
`void`	`sAbsRepForall()` init SAbsRepForall
`void`	`sAbsSplit()` init SAbsSplit
`void`	`sAbsTApply()` init SAbsTApply

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - S_ABS_N_ATTEMPT
```
public static final String S_ABS_N_ATTEMPT
```
    statistics
    
    See Also:
    
    Constant Field Values
  - S_ABS_N_APPLY
```
public static final String S_ABS_N_APPLY
```
    statistics
    
    See Also:
    
    Constant Field Values
  - S_ABS_ACTION
```
public static final String S_ABS_ACTION
```
    statistics
    
    See Also:
    
    Constant Field Values
  - S_ABS_INPUT
```
public static final String S_ABS_INPUT
```
    statistics
    
    See Also:
    
    Constant Field Values
  - S_ABS_R_ATTEMPT
```
public static final String S_ABS_R_ATTEMPT
```
    statistics
    
    See Also:
    
    Constant Field Values
  - S_ABS_R_APPLY
```
public static final String S_ABS_R_APPLY
```
    statistics
    
    See Also:
    
    Constant Field Values
  - S_ABS_C_ATTEMPT
```
public static final String S_ABS_C_ATTEMPT
```
    statistics
    
    See Also:
    
    Constant Field Values
  - S_ABS_C_APPLY
```
public static final String S_ABS_C_APPLY
```
    statistics
    
    See Also:
    
    Constant Field Values
  - S_ABS_T_APPLY
```
public static final String S_ABS_T_APPLY
```
    statistics
    
    See Also:
    
    Constant Field Values
  - S_ABS_SPLIT
```
public static final String S_ABS_SPLIT
```
    statistics
    
    See Also:
    
    Constant Field Values
  - S_ABS_B_APPLY
```
public static final String S_ABS_B_APPLY
```
    statistics
    
    See Also:
    
    Constant Field Values
  - S_ABS_REP_FORALL
```
public static final String S_ABS_REP_FORALL
```
    statistics
    
    See Also:
    
    Constant Field Values
  - S_ABS_REP_CN
```
public static final String S_ABS_REP_CN
```
    statistics
    
    See Also:
    
    Constant Field Values
- Constructor Detail
  - InAx
```
public InAx()
```
- Method Detail
  - getConcept
```
public static Concept getConcept(DLTree p)
```
    Parameters:
    
    p - the tree
    
    Returns:
    
    an RW concept from a given [C|I]NAME-rooted DLTree
  - isNP
```
@PortedFrom(file="tAxiom.cpp",
            name="isNP")
public static boolean isNP(Concept c)
```
    Parameters:
    
    c - concept
    
    Returns:
    
    true if a concept C is a concept is non-primitive
  - isTop
```
public static boolean isTop(DLTree p)
```
    Parameters:
    
    p - the tree
    
    Returns:
    
    true iff P is a TOP
  - isBot
```
public static boolean isBot(DLTree p)
```
    Parameters:
    
    p - the tree
    
    Returns:
    
    true iff P is a BOTTOM
  - isPosCN
```
public static boolean isPosCN(DLTree p)
```
    Parameters:
    
    p - the tree
    
    Returns:
    
    true iff P is a positive concept name
  - isPosNP
```
public static boolean isPosNP(DLTree p)
```
    Parameters:
    
    p - the tree
    
    Returns:
    
    true iff P is a positive non-primitive CN
  - isPosPC
```
public static boolean isPosPC(DLTree p)
```
    Parameters:
    
    p - the tree
    
    Returns:
    
    true iff P is a positive primitive CN
  - isNegCN
```
public static boolean isNegCN(DLTree p)
```
    Parameters:
    
    p - the tree
    
    Returns:
    
    true iff P is a negative concept name
  - isNegNP
```
public static boolean isNegNP(DLTree p)
```
    Parameters:
    
    p - the tree
    
    Returns:
    
    true iff P is a negative non-primitive CN
  - isNegPC
```
public static boolean isNegPC(DLTree p)
```
    Parameters:
    
    p - the tree
    
    Returns:
    
    true iff P is a negative primitive CN
  - isAnd
```
public static boolean isAnd(DLTree p)
```
    Parameters:
    
    p - the tree
    
    Returns:
    
    check whether P is in the form (and C D)
  - isOr
```
public static boolean isOr(DLTree p)
```
    Parameters:
    
    p - the tree
    
    Returns:
    
    true iff P is an OR expression
  - isForall
```
public static boolean isForall(DLTree p)
```
    Parameters:
    
    p - the tree
    
    Returns:
    
    true iff P is a general FORALL expression
  - isOForall
```
public static boolean isOForall(DLTree p)
```
    Parameters:
    
    p - the tree
    
    Returns:
    
    true iff P is an object FORALL expression
  - isAbsForall
```
public static boolean isAbsForall(DLTree p)
```
    Parameters:
    
    p - the tree
    
    Returns:
    
    true iff P is a FORALL expression suitable for absorption
  - sAbsRepCN
```
public void sAbsRepCN()
```
    init SAbsRepCN
  - sAbsRepForall
```
public void sAbsRepForall()
```
    init SAbsRepForall
  - sAbsBApply
```
public void sAbsBApply()
```
    init SAbsBApply
  - sAbsSplit
```
public void sAbsSplit()
```
    init SAbsSplit
  - sAbsTApply
```
public void sAbsTApply()
```
    init SAbsTApply
  - sAbsCApply
```
public void sAbsCApply()
```
    init SAbsCApply
  - sAbsCAttempt
```
public void sAbsCAttempt()
```
    init SAbsCAttempt
  - sAbsRApply
```
public void sAbsRApply()
```
    init SAbsRApply
  - sAbsRAttempt
```
public void sAbsRAttempt()
```
    init SAbsRAttempt
  - sAbsInput
```
public void sAbsInput()
```
    init SAbsInput
  - sAbsAction
```
public void sAbsAction()
```
    init SAbsAction
  - sAbsNApply
```
public void sAbsNApply()
```
    init SAbsNApply
  - sAbsNAttempt
```
public void sAbsNAttempt()
```
    init SAbsNAttempt
  - containsSAbsRepCN
```
public boolean containsSAbsRepCN()
```
    Returns:
    
    true if map contains SAbsRepCN
  - containsSAbsRepForall
```
public boolean containsSAbsRepForall()
```
    Returns:
    
    true if map contains SAbsRepForall
  - containsSAbsBApply
```
public boolean containsSAbsBApply()
```
    Returns:
    
    true if map contains SAbsBApply
  - containsSAbsSplit
```
public boolean containsSAbsSplit()
```
    Returns:
    
    true if map contains SAbsSplit
  - containsSAbsTApply
```
public boolean containsSAbsTApply()
```
    Returns:
    
    true if map contains SAbsTApply
  - containsSAbsCApply
```
public boolean containsSAbsCApply()
```
    Returns:
    
    true if map contains SAbsCApply
  - containsSAbsCAttempt
```
public boolean containsSAbsCAttempt()
```
    Returns:
    
    true if map contains SAbsCAttempt
  - containsSAbsRApply
```
public boolean containsSAbsRApply()
```
    Returns:
    
    true if map contains SAbsRApply
  - containsSAbsRAttempt
```
public boolean containsSAbsRAttempt()
```
    Returns:
    
    true if map contains SAbsRAttempt
  - containsSAbsInput
```
public boolean containsSAbsInput()
```
    Returns:
    
    true if map contains SAbsInput
  - containsSAbsAction
```
public boolean containsSAbsAction()
```
    Returns:
    
    true if map contains SAbsAction
  - containsSAbsNApply
```
public boolean containsSAbsNApply()
```
    Returns:
    
    true if map contains SAbsNApply
  - containsSAbsNAttempt
```
public boolean containsSAbsNAttempt()
```
    Returns:
    
    true if map contains SAbsNAttempt
  - getSAbsRepCN
```
public int getSAbsRepCN()
```
    Returns:
    
    value for SAbsRepCN
  - getSAbsRepForall
```
public int getSAbsRepForall()
```
    Returns:
    
    value for SAbsRepForall
  - getSAbsBApply
```
public int getSAbsBApply()
```
    Returns:
    
    value for SAbsBApply
  - getSAbsSplit
```
public int getSAbsSplit()
```
    Returns:
    
    value for SAbsSplit
  - getSAbsTApply
```
public int getSAbsTApply()
```
    Returns:
    
    value for SAbsTApply
  - getSAbsCApply
```
public int getSAbsCApply()
```
    Returns:
    
    value for SAbsCApply
  - getSAbsCAttempt
```
public int getSAbsCAttempt()
```
    Returns:
    
    value for SAbsCAttempt
  - getSAbsRApply
```
public int getSAbsRApply()
```
    Returns:
    
    value for SAbsRApply
  - getSAbsRAttempt
```
public int getSAbsRAttempt()
```
    Returns:
    
    value for SAbsRAttempt
  - getSAbsInput
```
public int getSAbsInput()
```
    Returns:
    
    value for SAbsInput
  - getSAbsAction
```
public int getSAbsAction()
```
    Returns:
    
    value for SAbsAction
  - getSAbsNApply
```
public int getSAbsNApply()
```
    Returns:
    
    value for SAbsNApply
  - getSAbsNAttempt
```
public int getSAbsNAttempt()
```
    Returns:
    
    value for SAbsNAttempt
  - isSimpleForall
```
@PortedFrom(file="tAxiom.h",
            name="isSimpleForall")
public static boolean isSimpleForall(DLTree p)
```
    Parameters:
    
    p - dltree representing a forall
    
    Returns:
    
    true iff P is a FORALL expression suitable for absorption with name at the end

Class InAx

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

S_ABS_N_ATTEMPT

S_ABS_N_APPLY

S_ABS_ACTION

S_ABS_INPUT

S_ABS_R_ATTEMPT

S_ABS_R_APPLY

S_ABS_C_ATTEMPT

S_ABS_C_APPLY

S_ABS_T_APPLY

S_ABS_SPLIT

S_ABS_B_APPLY

S_ABS_REP_FORALL

S_ABS_REP_CN

Constructor Detail

InAx

Method Detail

getConcept

isNP

isTop

isBot

isPosCN

isPosNP

isPosPC

isNegCN

isNegNP

isNegPC

isAnd

isOr

isForall

isOForall

isAbsForall

sAbsRepCN

sAbsRepForall

sAbsBApply

sAbsSplit

sAbsTApply

sAbsCApply

sAbsCAttempt

sAbsRApply

sAbsRAttempt

sAbsInput

sAbsAction

sAbsNApply

sAbsNAttempt

containsSAbsRepCN

containsSAbsRepForall

containsSAbsBApply

containsSAbsSplit

containsSAbsTApply

containsSAbsCApply

containsSAbsCAttempt

containsSAbsRApply

containsSAbsRAttempt

containsSAbsInput

containsSAbsAction

containsSAbsNApply

containsSAbsNAttempt

getSAbsRepCN

getSAbsRepForall

getSAbsBApply

getSAbsSplit

getSAbsTApply

getSAbsCApply

getSAbsCAttempt

getSAbsRApply

getSAbsRAttempt

getSAbsInput

getSAbsAction

getSAbsNApply

getSAbsNAttempt

isSimpleForall